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
23 of 47monadius
-
Language
- Coq
- Lean
-
Language Version
