7 kyu

This square is perfect

58 of 253lwoo1999

Description:

Loading description...
Theorem Proving
Fundamentals

More By Author:

Check out these other kata created by lwoo1999

Stats:

CreatedMar 17, 2019
PublishedMar 17, 2019
Warriors Trained714
Total Skips40
Total Code Submissions442
Total Times Completed253
Agda Completions58
Idris Completions32
Coq Completions111
Lean Completions72
Total Stars6
% of votes with a positive feedback rating92% of 36
Total "Very Satisfied" Votes30
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
Ad
Contributors
  • lwoo1999 Avatar
  • donaldsebleung Avatar
  • kazk Avatar
  • Voile Avatar
  • ice1000 Avatar
  • flaco Avatar
  • monadius Avatar
  • solitude Avatar
Ad