Beta

The Hardest Math Olympiad Problem

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedMay 25, 2019
PublishedMay 25, 2019
Warriors Trained51
Total Skips1
Total Code Submissions8
Total Times Completed6
Coq Completions6
Total Stars3
% of votes with a positive feedback rating100% of 1
Total "Very Satisfied" Votes1
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments1
Average Assessed Rank
3 kyu
Highest Assessed Rank
3 kyu
Lowest Assessed Rank
3 kyu
Ad
Contributors
  • monadius Avatar
Ad