7 kyu

This square is perfect

6291% of 3239 of 183lwoo1999
Loading description...
Fundamentals
Theorem Proving

These users have contributed to this kata:

Other Kata Authored By lwoo1999:

31100% of 12lwoo1999
Status:Testing & feedback needed
Estimated Rank:
3 kyu
43100% of 610lwoo1999
Status:Awaiting approval
Estimated Rank:
4 kyu

Stats:

CreatedMar 17, 2019
PublishedMar 17, 2019
Warriors Trained511
Total Skips26
Total Code Submissions326
Total Times Completed183
Agda Completions39
Idris Completions28
Coq Completions78
Lean Completions55
Total Stars6
% of votes with a positive feedback rating91% of 32
Total "Very Satisfied" Votes26
Total "Somewhat Satisfied" Votes6
Total "Not Satisfied" Votes0
Total Rank Assessments7
Average Assessed Rank
6 kyu
Highest Assessed Rank
1 kyu
Lowest Assessed Rank
8 kyu