6 kyu

Program Verification #1: The sum of an arithmetic progression

4396% of 1313 of 55monadius
Details
Solutions
Discourse (4)
  • |
  • Share this kata:
Loading description...
Fundamentals
Theorem Proving

These users have contributed to this kata:

Other Kata Authored By monadius:

10100% of 23monadius
Status:Testing & feedback needed
Estimated Rank:
5 kyu
100% of 02monadius
Status:Testing & feedback needed
Estimated Rank:
4 kyu
12100% of 22monadius
Status:Testing & feedback needed
Estimated Rank:
5 kyu

Stats:

CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained156
Total Skips17
Total Code Submissions130
Total Times Completed55
Idris Completions13
Agda Completions17
Coq Completions32
Total Stars4
% of votes with a positive feedback rating96% of 13
Total "Very Satisfied" Votes12
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