6 kyu

Remember all the guardedness and termination, and let it sized


Loading description...
Theorem Proving


CreatedMay 22, 2019
PublishedMay 22, 2019
Warriors Trained83
Total Skips5
Total Code Submissions24
Total Times Completed17
Agda Completions17
Total Stars1
% of votes with a positive feedback rating86% of 7
Total "Very Satisfied" Votes5
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes0
Total Rank Assessments5
Average Assessed Rank
6 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
7 kyu