AxiomProver

产品

Axiom Math的核心系统，将自然语言翻译为Lean形式化证明

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

关系图谱

关系 (6)

发布 (2)

Axiom Math Axiom

使用技术 (2)

形式化证明 Lean形式化语言

领导 (1)

应用于 (1)

相关文章 (2)