lean-fuel-induction - Lean 4 燃料归纳与循环不变量证明

提供燃料无关性、循环不变量、后缀不变性、递归函数性质证明及 Lean 证明资源调优的方法。