Tuesday, October 27, 2026 Today’s Paper
Log in Join free
Vol. I · No. 28 Texas Edition
Tuesday, Oct 27
Xultr
Texas first. Then the world.
Always free Updated just now
Read. React. Discuss.
Tech

Classification of Finite Simple Groups Formalized in Lean

Hacker News (Newest) By pfdietz 0 views 0 comments

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

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

Points: 6

# Comments: 4

Hacker News (Newest) Original story · cfsg.axiommath.ai
Read the full story
How does this story make you feel?
👍 ❤️ 💡 😮 😂 😢 😠

Discussion (0)

No comments yet. Start the conversation!

More to read