形式化证明

技术

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

2 次提及2 个连接首次出现: 2026-05-28最近出现: 2026-06-10

关系图谱

关系 (2)

使用技术 (1)

应用于 (1)

相关文章 (2)