math

openai/math

Recommended by
4
GitHub stars
17k
Licence
Apache-2.0
Language
Lean
Last commit
30 Oct 2026

What people said

Similar tools

Not software, abandoned or listed by mistake? Report this listing