Lean编译器

技术

用于对AI生成的数学证明进行形式化验证的工具

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

关系图谱

关系 (1)

使用技术 (1)

AlphaProof Nexus

相关文章 (1)