证明的技艺
前言
1. 计算式证明
2. 有结构的证明
3. 奇偶性与整除性
4. 有结构的证明（二）
5. 逻辑
6. 归纳法
7. 数论
8. 函数
9. 集合
10. 关系
Lean 策略索引
过渡到主流 Lean
证明的技艺
»
索引
Index