Classification of Finite Simple Groups Formalized in LeanBy pfdietz · 2026-10-27 · 48 points · 17 commentshttps://cfsg.axiommath.ai/By pfdietz · 48 points · 17 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews