证明形式化证明与验证方法结构待定：本栏目的结构仍在讨论中，下列子页只是占位，标题和划分都可能调整。 子页一览复制锚点链接 Lean 定理对照表报告中的定理与 Lean 形式化证明的对照。验证方法形式化证明与全量验证各自保证什么。Lean 定理对照表报告中的定理与 Lean 形式化证明的对照。