Hacker Neus
Classification of Finite Simple Groups Formalized in Lean
(cfsg.axiommath.ai)
237 points
by pfdietz
2 days ago |
75 comments
