系统设计与验证 (Lean)Lean 归纳与递归Lean归纳与递归 欢迎来到 Lean 的 Lean归纳与递归 部分，在这一章节中，你将学到以下内容： Lean归纳定义 Lean归纳类型 Lean归纳证明 Lean结构归纳 Lean良基归纳 Lean互递归定义 Lean递归函数 Lean递归证明 Lean终止性证明 Lean Acc关系 Lean测度函数 Lean嵌套递归 Lean协递归 Lean递归数据结构 Have fun coding!