| Axiom Math | |
| 分类 | Science & Research |
|---|---|
| 定价 | Free |
| 评分 | ★4.84/5 |
| 官网 | 访问 → |
Axiom Math is an AI reasoning engine for theorem proving and formal verification built on the Lean proof assistant.
Axiom Math is an AI reasoning engine for theorem proving and formal verification built on the Lean proof assistant. 用户可通过Axiom Math完成Science & Research相关任务，提升效率。
Axiom Math采用Free模式，请访问官网获取最新价格。