The Classification of Finite Simple Groups, formalized in Lean
- The classification of finite simple groups is one of the great collective achievements of mathematics.
- Its first-generation proof spans thousands of journal pages, written by about a hundred mathematicians over several decades.
- It shows that every finite simple group is cyclic of prime order, alternating, of Lie type, or one of 26 sporadic groups.
Unverified
- The classification of finite simple groups is one of the great collective achievements of mathematics.
- Its first-generation proof spans thousands of journal pages, written by about a hundred mathematicians over several decades.
- It shows that every finite simple group is cyclic of prime order, alternating, of Lie type, or one of 26 sporadic groups.
Sources: Axiommath