6 kyu

Program Verification #3: Tail-recursive sum

22 of 169monadius


Loading description...
Theorem Proving

More By Author:

Check out these other kata created by monadius


CreatedMar 15, 2019
PublishedMar 15, 2019
Warriors Trained508
Total Skips35
Total Code Submissions301
Total Times Completed169
Idris Completions22
Agda Completions45
Coq Completions75
Lean Completions38
Total Stars4
% of votes with a positive feedback rating96% of 38
Total "Very Satisfied" Votes35
Total "Somewhat Satisfied" Votes3
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
3 kyu
Lowest Assessed Rank
8 kyu