❌

Reading view

There are new articles available, click to refresh the page.

Classification of Finite Simple Groups Formalized in Lean

Hacker News

By: pfdietz

27 October 2026 at 16:29

Article URL: https://cfsg.axiommath.ai/

Comments URL: https://news.ycombinator.com/item?id=50261647

Points: 78

# Comments: 20