TrendHeat
Tech and Gaming
Global
Heat
40
Classification of Finite Simple Groups Formalized in Lean
Timeline
27 Oct, 16:29 UTC
First appeared on Hacker News
Top sources
Classification of Finite Simple Groups Formalized in Lean
Hacker News
Open in TrendHeat