AxiomMath/CFSG
A Lean formalization of the Classification of Finite Simple Groups
GitHub repository with 156 stars and 22 forks.
Language: Lean
24h trend summary
Trending score 0.78, freshness score 0.08, stars gained +4, forks gained +4.
Latest metric snapshot
2026-11-03: 156 stars and 22 forks.