From Hacker News

Classification of Finite Simple Groups Formalized in Lean

27/10/2026, 16:29:02 UTC · Source-linked news briefing

Article URL: https://cfsg.axiommath.ai/ Comments URL: https://news.ycombinator.com/item?id=50261647 Points: 20 # Comments: 9