Lean高级证明技术

欢迎来到 Lean 的 Lean高级证明技术 部分，在这一章节中，你将学到以下内容：

• Lean 证明自动化
• Lean决策过程
• Lean简化器
• Lean SMT求解
• Lean反射机制
• Lean元编程
• Lean战术组合
• Lean证明状态操作
• Lean证明搜索
• Lean归纳法变体
• Lean余归纳法
• Lean高级量词处理
• Lean 证明重构
• Lean可判定片段

Have fun coding!