PrototypeCommune
AxiomMath/CFSG
A Lean formalization of the Classification of Finite Simple Groups
- Propriétaire
- AxiomMath (organisation)
- Étoiles
- Étoiles : 154
- Forks
- Forks : 20
- Langage
- Lean
- Licence
- Apache-2.0
- 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/Putnam2025Étoiles : 114LeanPrototype
- AxiomMath/IMO2026Étoiles : 103LeanPrototype
D’autres dépôts Lean
Tous les dépôts Lean- Verilean/sparkleÉtoiles : 164LeanPrototype
- PatrickMassot/verbose-lean4Étoiles : 162LeanPrototype
- nomeata/loogleÉtoiles : 159LeanPrototype
- josevalim/lynxÉtoiles : 152LeanPrototype
- lfglabs-dev/verityÉtoiles : 151LeanPrototype
- flypitch/flypitchÉtoiles : 150LeanPrototype