6 kyu

Program Verification #1: The sum of an arithmetic progression

23 of 176monadius


Loading description...
Theorem Proving

More By Author:

Check out these other kata created by monadius


CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained592
Total Skips53
Total Code Submissions322
Total Times Completed176
Idris Completions23
Agda Completions50
Coq Completions77
Lean Completions36
Total Stars7
% of votes with a positive feedback rating97% of 37
Total "Very Satisfied" Votes35
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
7 kyu