PrototypeCommune
AxiomMath/IMO2026
Pas de description.
- Propriétaire
- AxiomMath (organisation)
- Étoiles
- Étoiles : 103
- Forks
- Forks : 14
- Langage
- Lean
- Licence
- MIT
- Création
- 2026
- 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/Putnam2025Étoiles : 114LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- NethermindEth/LeanCILÉtoiles : 106LeanPrototype
- yuma-mizuno/lean-math-workshopÉtoiles : 105LeanPrototype
- chasenorman/CanonicalÉtoiles : 105LeanPrototype
- dwrensha/animate-lean-proofsÉtoiles : 102LeanPrototype
- leanprover/lakeÉtoiles : 101LeanPrototype
- NethermindEth/EVMYulLeanÉtoiles : 101LeanPrototype