6 kyu

Program Verification #1: The sum of an arithmetic progression

5398% of 2518 of 118monadius
Loading description...
Theorem Proving

These users have contributed to this kata:

Other Kata Authored By monadius:


CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained396
Total Skips34
Total Code Submissions223
Total Times Completed118
Idris Completions18
Agda Completions29
Coq Completions59
Lean Completions21
Total Stars5
% of votes with a positive feedback rating98% of 25
Total "Very Satisfied" Votes24
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
7 kyu