PrototypeCommon
AxiomMath/IMO2026
No description.
- Owner
- AxiomMath (organization)
- Stars
- Stars: 103
- Forks
- Forks: 14
- Language
- Lean
- License
- MIT
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by AxiomMath
All 5 repos by AxiomMath- AxiomMath/axplorerStars: 195Jupyter NotebookPrototype
- AxiomMath/axiom-lean-engineStars: 177PythonPrototype
- AxiomMath/CFSGStars: 154LeanPrototype
- AxiomMath/Putnam2025Stars: 114LeanPrototype
Nearby in Lean
All Lean repos- NethermindEth/LeanCILStars: 106LeanPrototype
- yuma-mizuno/lean-math-workshopStars: 105LeanPrototype
- chasenorman/CanonicalStars: 105LeanPrototype
- dwrensha/animate-lean-proofsStars: 102LeanPrototype
- leanprover/lakeStars: 101LeanPrototype
- NethermindEth/EVMYulLeanStars: 101LeanPrototype