Beta

Verified Irregular Chessboard Area

Description:

Loading description...
Theorem Proving
Fundamentals
Algorithms
Puzzles
Mathematics

Stats:

CreatedJun 11, 2022
PublishedJun 11, 2022
Warriors Trained11
Total Skips0
Total Code Submissions10
Total Times Completed6
Coq Completions6
Total Stars1
% of votes with a positive feedback rating88% of 4
Total "Very Satisfied" Votes3
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
6 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
6 kyu
Ad
Contributors
  • donaldsebleung Avatar
Ad