MathCode, Mathematical Coding Agent math-ai-org.github.io· hn · ▲ 0 points · Aug 16, 2026 math-ai-org.github.io MathCode, Mathematical Coding Agent A terminal AI coding agent that formalizes math problems into Lean 4 theorems and proves them.
0 comments
No comments yet.