Making things complex for fun!


Loading description...
Theorem Proving

More By Author:

Check out these other kata created by bredor


CreatedMar 16, 2020
PublishedMar 16, 2020
Warriors Trained26
Total Skips0
Total Code Submissions26
Total Times Completed6
Agda Completions6
Total Stars2
% of votes with a positive feedback rating90% of 5
Total "Very Satisfied" Votes4
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments5
Average Assessed Rank
5 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
7 kyu