Loading Program Verification #5: The sum of a geometric progression
5 kyu
Loading Program Verification #5: The sum of a geometric progression
5 kyu
Program Verification #5: The sum of a geometric progression
24 of 44monadius
-
Language
- Coq
- Lean
-
Language Version
