5 kyu

Program Verification #5: The sum of a geometric progression

20 of 40monadius


Loading description...
Theorem Proving


CreatedApr 27, 2019
PublishedApr 27, 2019
Warriors Trained134
Total Skips11
Total Code Submissions113
Total Times Completed40
Coq Completions20
Lean Completions22
Total Stars1
% of votes with a positive feedback rating100% of 7
Total "Very Satisfied" Votes7
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
5 kyu