形式化验证路线图

现有证明锚点与分阶段定理目标（中文翻译待补，请见英文版）

本页的中文翻译尚未同步。请暂时参阅英文版： Formal verification roadmap。

ProofForge 的形式化验证路线图包含现有证明锚点和分阶段定理目标。完整内容 见上方英文页面。