4 kyu

Program Verification #4: Exponentiation by squaring

7294% of 84 of 33monadius
Loading description...
Fundamentals
Theorem Proving

These users have contributed to this kata:

Similar Kata:

21100% of 24monadius
Status:Testing & feedback needed
Estimated Rank:
2 kyu
3269% of 815matt c
Status:Testing & feedback needed
Estimated Rank:
3 kyu
12100% of 36monadius
Status:Ranking feedback needed
Estimated Rank:
4 kyu
10100% of 12surtich
Status:Testing & feedback needed

Other Kata Authored By monadius:

10100% of 35monadius
Status:Awaiting moderator approval
Estimated Rank:
5 kyu
21100% of 24monadius
Status:Testing & feedback needed
Estimated Rank:
2 kyu

Stats:

CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained144
Total Skips16
Total Code Submissions54
Total Times Completed33
Idris Completions4
Coq Completions23
Agda Completions7
Lean Completions8
Total Stars7
% of votes with a positive feedback rating94% of 8
Total "Very Satisfied" Votes7
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
4 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu