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

22 of 40monadius
Loading description...

Theorem Proving
Fundamentals
Your output will be shown here