World Wires · story 82865 · unverified · 1 source(s)

Classification of Finite Simple Groups Formalized in Lean

Mathematical researchers have completed the formalization of the classification of finite simple groups using the Lean proof assistant.

Open in the desk

Coverage

• Classification of Finite Simple Groups Formalized in Lean Hacker News front page · tier D · clear net · 2026-10-27 16:29 UTC

What this site indexes