AgentDish directory
mathematical proof
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#183
↓ -3
MathCode
MathCode is a terminal AI coding agent for mathematical formalization: it turns plain-language math problems into Lean 4 theorems and attempts formal proofs, with a persistent Lean REPL and supporting theorem/axiom libraries. |
Developer Tools / AI Coding Assistants | 88 | ↓ -3 | 14 days ago | Details |