Skip to main content
Back to trending

OpenAI-math

SourceEnterprise/OpenAI-math — trending on GitHub.

View on GitHub
Stars
1
Forks
0
+ today
+1
Created
19h

Ranking data as of October 7, 2026 (UTC).

Star History

Today, hour by hour

1 stars
01

Overview

SourceEnterprise/OpenAI-math — trending on GitHub. It ranks #5623 on GitTiger, gaining +1 star on October 7, 2026 (UTC).

The project is written in Lean. It was created 19h ago.

Installation
git clone https://github.com/SourceEnterprise/OpenAI-math.git
cd OpenAI-math
# see README for setup