系统设计与验证 (Lean)Lean 证明基础Lean证明基础 欢迎来到 Lean 的 Lean证明基础 部分，在这一章节中，你将学到以下内容： Lean证明简介 Lean命题与定理 Lean证明状态 Lean战术系统 Lean基本战术 Lean证明模式 Lean简单证明示例 Lean证明重用 Lean证明自动化 Lean引理与推论 Lean公理系统 Lean形式化数学 Lean证明调试 Lean证明风格指南 Have fun coding!