Alkemet News
Classification of Finite Simple Groups Formalized in Lean
(cfsg.axiommath.ai)
207
points
bypfdietz
17 hours ago |
58
comments
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date