形式化证明

技术

通过Lean等工具生成机器可检查的逻辑证明，消除自然语言中的逻辑缝隙

3 次提及3 个连接首次出现: 2026-05-28最近出现: 2026-07-27

关系图谱

关系 (4)

使用技术 (2)

AxiomProver GitHub Copilot

应用于 (2)

AI科研助手 AI科研助手

相关文章 (3)