Classification of Finite Simple Groups Formalized in Lean

Posted 2 hours ago by pfdietz
68 points

https://cfsg.axiommath.ai/

8 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..