git
ask
hub
Privacy
Terms
Sign in with GitHub
axiommath/imo2026
↗
Stars ·
93
Language ·
Lean
License ·
MIT
Simplify and Visualize This Repo
Scan the safety of this repo
Self Host this repo
Check out more work of Developer: axiommath
Ask anything about this repo to start.
Explain what it means for a Lean 4 proof to be machine checked versus just written down.
Walk me through building the IMO2026 problem and solution libraries with lake.
Show me how to run verify.py to check one of the IMO2026 solutions.
Summarize how long each of the six 2026 IMO problems took AxiomProver to solve.
Full explanation on explaingit →
📎
Send
By chatting or signing in you agree to the
Terms
and chat-message logging (revocable in
History
).