系统设计与验证 (Lean)Lean 程序验证Lean程序验证 欢迎来到 Lean 的 Lean程序验证 部分，在这一章节中，你将学到以下内容： Lean程序验证基础 Lean前置条件 Lean后置条件 Lean不变量 Lean循环验证 Lean递归验证 Lean程序规范 Lean精确性证明 Lean安全性证明 Lean活性证明 Lean终止性证明 Lean副作用推理 Lean程序提取 Lean验证案例研究 Have fun coding!