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