Classification of Finite Simple Groups Formalized in Lean

Article URL: https://cfsg.axiommath.ai/ Comments URL: https://news.ycombinator.com/item?id=50261647 Points: 28 # Comments: 12