Classification of Finite Simple Groups Formalized in Lean

206 points

by pfdietz

16 hours ago

57 comments