PrototypeCommune
AxiomMath/Putnam2025
Our solutions to Putnam 2025.
- Propriétaire
- AxiomMath (organisation)
- Étoiles
- Étoiles : 114
- Forks
- Forks : 5
- Langage
- Lean
- Licence
- MIT
- Création
- 2025
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de AxiomMath
Les 5 dépôts de AxiomMath- AxiomMath/axplorerÉtoiles : 195Jupyter NotebookPrototype
- AxiomMath/axiom-lean-engineÉtoiles : 177PythonPrototype
- AxiomMath/CFSGÉtoiles : 154LeanPrototype
- AxiomMath/IMO2026Étoiles : 103LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/plausibleÉtoiles : 118LeanPrototype
- sunblaze-ucb/veroÉtoiles : 116LeanPrototype
- fpvandoorn/carlesonÉtoiles : 114LeanPrototype
- vihdzp/combinatorial-gamesÉtoiles : 113LeanPrototype
- optsuite/optlibÉtoiles : 112LeanPrototype
- pandaman64/lean-regexÉtoiles : 112LeanPrototype