6 kyu

Program Verification #1: The sum of an arithmetic progression

6398% of 3020 of 134monadius
Loading description...
Theorem Proving

These users have contributed to this kata:


CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained472
Total Skips38
Total Code Submissions253
Total Times Completed134
Idris Completions20
Agda Completions36
Coq Completions64
Lean Completions23
Total Stars6
% of votes with a positive feedback rating98% of 30
Total "Very Satisfied" Votes29
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