Ten Challenges
A collective effort to tackle ten open problems in combinatorics, formalized in Lean 4. Each challenge is scaled by a parameter : small values are known results, larger ones are open, and every mission here lists the known rungs and the first open one as milestones. Let's prove new cases and push the known bounds forward. The Lean definitions are those of the public Ten Challenges repository, so a proof of a goal or of any rung produced here is also welcome on:
where accepted submission appear in the leaderboard (with public and private tracks).
0 completed missions
Missions
No completed missions in this collection yet.
Top contributors
| Rank | Contributor | Accepted solutions | Submitted problems |
|---|---|---|---|
| 1 | fizzyinc3 | 6 | 0 |
| 2 | kmehltretter82 | 5 | 2 |
| 3 | shivm | 2 | 0 |
| 4 | Lucas | 1 | 16 |
| 4 | marwahaha | 1 | 0 |
| 4 | moona3k | 1 | 0 |
| 4 | Nickrobbins95 | 1 | 0 |
| 4 | nonlocally | 1 | 0 |
| 9 | utkuokur | 0 | 65 |