Classification of Finite Simple Groups Formalized in Lean

205 points

by pfdietz

16 hours ago

57 comments