AI coding assistant turns plain-language math problems into formal proofs

Original: MathCode, Mathematical Coding Agent

Source: math-ai-org.github.io ↗