AI4M 3+X 讨论班第三讲讲义
| 文件 | 内容 |
|---|---|
AI4MathLeanSeminar/Demo.lean |
主演示文件,含所有例子与练习 |
如需在本地安装 Lean,请参考快速入门指南中的安装说明。
- Mathematics in Lean — 系统学习用 Lean 做数学的官方教程
- Theorem Proving in Lean 4 — Lean 4 语言与类型论基础
- Lean 4 官方文档
- Natural Number Game — 通过游戏学习 Lean 证明,适合零基础入门
| Name | Name | Last commit date | ||
|---|---|---|---|---|
AI4M 3+X 讨论班第三讲讲义
| 文件 | 内容 |
|---|---|
AI4MathLeanSeminar/Demo.lean |
主演示文件,含所有例子与练习 |
如需在本地安装 Lean,请参考快速入门指南中的安装说明。