All olympiad mathematics problems and solutions in one place. Human-written statements first, each with its source, its links, graded solutions and Lean statements.
JavaScript Updated 11 days ago 1 commits
drift-coder|Mirror: tamnd/olymmath (⭐0)
11 days agoE2B SandboxFirecracker microVMjavascript
No executable code files found in this repository.
About
All olympiad mathematics problems and solutions in one place. Human-written statements first, each with its source, its links, graded solutions and Lean statements.
Readme