Static
Classification of Finite Simple Groups Formalized in Lean
First reported by Cfsg.axiommath ·
The signal
●○○○
Brief pending · reported by Cfsg.axiommath and Hacker News
Source description shown. AI brief pending.
Classification