Classification of Finite Simple Groups Formalized in Leancfsg.axiommath.ai
175 points by pfdietz 10 hours ago | 44 comments