Classification of Finite Simple Groups Formalized in Lean

(cfsg.axiommath.ai) by pfdietz | Oct 27, 2026 | 1 comments on HN