❌

Normal view

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

Today — 27 October 2026Hacker News

Hacker News
Classification of Finite Simple Groups Formalized in Lean 27 October 2026 at 16:29

Classification of Finite Simple Groups Formalized in Lean

By: pfdietz

27 October 2026 at 16:29

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

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

Points: 105

# Comments: 25