Hacker News· pfdietz·· 4 小时前
Classification of Finite Simple Groups Formalized in Lean
Classification of Finite Simple Groups Formalized in Lean
来源：Hacker News · cfsg.axiommath.ai
Classification of Finite Simple Groups Formalized in Lean
Classification of Finite Simple Groups Formalized in Lean
来源：Hacker News · cfsg.axiommath.ai