C cfsg.axiommath.ai Classification of Finite Simple Groups Formalized in Lean 243 points pfdietz 4 days ago 78 comments
