4 kyu

Program Verification #4: Exponentiation by squaring

7 of 58monadius


Loading description...
Theorem Proving

More By Author:

Check out these other kata created by monadius


CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained258
Total Skips28
Total Code Submissions96
Total Times Completed58
Idris Completions7
Coq Completions32
Agda Completions13
Lean Completions15
Total Stars12
% of votes with a positive feedback rating95% of 11
Total "Very Satisfied" Votes10
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