Hacker News: gggg_g_g__ghttps://news.ycombinator.com/user?id=gggg_g_g__gHacker News RSShttps://hnrss.org/hnrss v2.1.1Wed, 28 Oct 2026 11:06:50 +0000<![CDATA[New comment by gggg_g_g__g in "Classification of Finite Simple Groups Formalized in Lean"]]>Holy shit.

]]>Tue, 27 Oct 2026 21:59:41 +0000https://news.ycombinator.com/item?id=50266435gggg_g_g__ghttps://news.ycombinator.com/item?id=50266435https://news.ycombinator.com/item?id=50266435