Study note
Mathematics in Lean
Properties
- Type
- Books
- Status
- 想读
- Domain
- Math
- Category
- 逻辑、集合论与范畴
- Source
- leanprover-community.github.io
- Vault note
library/books/math/Mathematics-in-Lean-ccf5ce2853746383.md
Summary
面向数学学习者的 Lean 4/Mathlib 互动教材，覆盖逻辑、集合与函数、初等数论、代数结构、线性代数、拓扑、微积分和测度论；每节配有可运行的例子与练习文件。
Highlights
Lean 官方学习页将其列为数学家学习形式化数学的主要资源；建议 clone 项目并实际修改练习，而不是只读网页。
Notes
Jeremy Avigad、Patrick Massot；持续更新。
Comments
Loading comments...