Study note
Glimpse of Lean
Properties
- Type
- Blogs
- Status
- 待读
- Domain
- Math
- Category
- 代数几何、Lean 与可视化
- Source
- github.com
- Vault note
library/articles/math/Glimpse-of-Lean-91e0740d5f46312e.md
Summary
面向想快速感受真实 Lean 证明的学习者，短路线约 2-3 小时；长路线先练 rewriting、逻辑量词，再按兴趣进入数列极限、交换代数、概率或序理论中的 Galois connection。
Highlights
比完整教材更快接触非平凡数学证明，可直接使用在线 Lean 环境，适合放在 Natural Number Game 后判断自己最感兴趣的数学方向。
Notes
Patrick Massot 的快速数学证明实践课。
Comments
Loading comments...