Lean 形式化验证

技术

AI 证明数学问题使用的形式化验证技术

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

关系图谱

关系 (1)

使用技术 (1)

AlphaProof Nexus

相关文章 (1)