Classification of Finite Simple Groups Formalized in Lean
Article URL: https://cfsg.axiommath.ai/ Comments URL: https://news.ycombinator.com/item?id=50261647 Points: 98 # Comments: 25
Read the full story at Hacker News Front Page ↗
Timeline · 1 report
- 2026-10-27 16:29 · Hacker News Front Page
Classification of Finite Simple Groups Formalized in Lean