Offline
Top
Day
Week
Classification of Finite Simple Groups Formalized in Lean
205 points
·
pfdietz
·
15hrs ago
·
57 comments
·
cfsg.axiommath.ai