Classification of Finite Simple Groups Formalized in Lean

2026-10-28来源 Hacker NewsEnglish

Article URL: https://cfsg.axiommath.ai/

Comments URL: https://news.ycombinator.com/item?id=50261647

Points: 35

# Comments: 15

原文：https://www.a8q9.cn/en/article/classification-of-finite-simple-groups-formalized-in-lean-34a5b9.html

相关文章