Study note
The Mechanics of Proof
Properties
- Type
- Books
- Status
- 想读
- Domain
- Math
- Category
- 逻辑、集合论与范畴
- Source
- hrmacbeth.github.io
- Vault note
library/books/math/The-Mechanics-of-Proof-e0f42f4537b7f3bd.md
Summary
以大学数学证明课为背景，从命题逻辑、量词、集合和函数等基础出发，借助 Lean 让每一步推理都得到机器检查，面向证明经验少于 Mathematics in Lean 预期的读者。
Highlights
如果能看懂数学结论却常常不知道证明如何展开，这本比直接进入依赖类型论更合适；数学证明基础扎实时可以选读。
Notes
Heather Macbeth；持续更新。
Comments
Loading comments...