CFSG
AxiomMath
A Lean formalization of the Classification of Finite Simple Groups
Lean
Apache License 2.0 最后更新 2026年10月27日活跃137
Stars
15
Forks
2
Watchers
0
Issues
Star 增长
今日+13
近 7 天+13
近 30 天+13
综合评分67.41
默认分支main
暂无 README 内容
项目可能尚未同步完成，请稍后查看
AxiomMath
A Lean formalization of the Classification of Finite Simple Groups
暂无 README 内容
项目可能尚未同步完成，请稍后查看