分类有限单群在 Lean 中形式化完成

← 返回今日版面

研究lean信号强度 0.71 条来源

来源

1 条

分类有限单群在 Lean 中形式化

将分类有限单群的形式化工作完成于Lean证明助手。

2026-10-28

Hacker Newscfsg.axiommath.ai社区