← Feed @hn50@social.lansky.name 2026-10-27 18:15 UTC Classification of Finite Simple Groups Formalized in Lean Link: https://cfsg.axiommath.ai/ Discussion: https://news.ycombinator.com/item?id=50261647 Replies (0) No replies.