- Stars
- 1,723
- Forks
- 144
- + today
- +220
- Created
- 1d
Ranking data as of October 7, 2026 (UTC).
Star History
Today, hour by hour
1,5031,723
Overview
openai/math — trending on GitHub. It ranks #2 on GitTiger, gaining +220 stars on October 7, 2026 (UTC).
The project is written in Lean and has 144 forks. It was created 1d ago.
Installation
git clone https://github.com/openai/math.git
cd math
# see README for setup