← Lcoalhost

Classification of Finite Simple Groups Formalized in Lean

Source : Hacker News

See it live in context on Lcoalhost →