Beta

The Hardest Math Olympiad Problem

100% of 02monadius
Details
Solutions
Discourse
  • |
  • Share this kata:
Loading description...
Fundamentals
Theorem Proving

Similar Kata:

2173% of 56104kaminobenzene
Status:Testing & feedback needed
Estimated Rank:
8 kyu
Status:Waiting for issues to be resolved
1087% of 4278tonytangau
21100% of 23cacr
Status:Testing & feedback needed
Estimated Rank:
4 kyu
1071% of 710zebulan
Status:Testing & feedback needed
Estimated Rank:
6 kyu
6285% of 3396Austin Haws

Other Kata Authored By monadius:

000% of 01monadius
Status:Testing & feedback needed
Estimated Rank:
5 kyu
11100% of 12monadius
Status:Testing & feedback needed
Estimated Rank:
4 kyu

Stats:

CreatedMay 25, 2019
PublishedMay 25, 2019
Warriors Trained10
Total Skips0
Total Code Submissions1
Total Times Completed2
Coq Completions2
Total Stars1
% of votes with a positive feedback rating0% of 0
Total "Very Satisfied" Votes0
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0