Classification of Finite Simple Groups Formalized in Lean | Hacker News

Classification of Finite Simple Groups Formalized in Lean (cfsg.axiommath.ai)

205 points by pfdietz 16 hours ago | 57 comments

Loading...