Get the latest tech news

MathCode, Mathematical Coding Agent

A terminal AI coding agent that formalizes math problems into Lean 4 theorems and proves them.

None

Get the Android app