Classification of Finite Simple Groups Formalized in Lean was first seen on Hacker News · Front page on Oct 27, 2026. Since then it appeared in 52 hourly checks across 2 days, peaking at #9 on Oct 28, 02:50 UTC. It is #9 on the list right now.
Rank history
Position on Hacker News · Front page at every check (lower is better).
Last 14 days
Best rank per day (UTC).
11
9
Oct 15today
Metric history
points as reported by Hacker News.
Embed badge
Show that this trended, linking back to this page.
<a href="https://trendoday.com/hacker-news/story/50261647-classification-of-finite-simple-groups-formalized-in-lean"><img src="https://trendoday.com/badge/hacker-news/story/50261647-classification-of-finite-simple-groups-formalized-in-lean.svg" alt="Classification of Finite Simple Groups Formalized in Lean on TrendBoard" height="44"></a>
[](https://trendoday.com/hacker-news/story/50261647-classification-of-finite-simple-groups-formalized-in-lean)
