PrototypeCommon
AxiomMath/CFSG
A Lean formalization of the Classification of Finite Simple Groups
- Owner
- AxiomMath (organization)
- Stars
- Stars: 154
- Forks
- Forks: 20
- Language
- Lean
- License
- Apache-2.0
- 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/Putnam2025Stars: 114LeanPrototype
- AxiomMath/IMO2026Stars: 103LeanPrototype
Nearby in Lean
All Lean repos- Verilean/sparkleStars: 164LeanPrototype
- PatrickMassot/verbose-lean4Stars: 162LeanPrototype
- nomeata/loogleStars: 159LeanPrototype
- josevalim/lynxStars: 152LeanPrototype
- lfglabs-dev/verityStars: 151LeanPrototype
- flypitch/flypitchStars: 150LeanPrototype