Kata Training

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

27 of 47monadius

Language

Coq

Lean
Language Version

- VIM
- EMACS

Loading description...

Theorem Proving

Fundamentals

Your output will be shown here

Solution

Sample Tests

Test Attempt Submit