Classification of Finite Simple Groups Formalized in Lean(cfsg.axiommath.ai)
230 points by pfdietz | 71 comments
Project site presenting a complete Lean formalization of the Classification of Finite Simple Groups, with an interactive proof map, stats, papers, and contributors.