Get the latest tech news
Classification of Finite Simple Groups Formalized in Lean
A complete formalization in Lean of the first-generation proof of the classification of finite simple groups, with every logical step checked by Lean’s kernel.
None
Or read this on Hacker News
