PrototypeCommon
AxiomMath/Putnam2025
Our solutions to Putnam 2025.
- Owner
- AxiomMath (organization)
- Stars
- Stars: 114
- Forks
- Forks: 5
- Language
- Lean
- License
- MIT
- Created
- 2025
- 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/IMO2026Stars: 103LeanPrototype
Nearby in Lean
All Lean repos- leanprover-community/plausibleStars: 118LeanPrototype
- sunblaze-ucb/veroStars: 116LeanPrototype
- fpvandoorn/carlesonStars: 114LeanPrototype
- vihdzp/combinatorial-gamesStars: 113LeanPrototype
- James-Hanson/junk-theorems-in-leanStars: 113LeanPrototype
- optsuite/optlibStars: 112LeanPrototype