Classification of Finite Simple Groups Formalized in Lean

by pfdietz | View on Hacker News