openai/math
Explore openai/math, an open source GitHub repository tracked by OpenPulse.
Language: Lean
15,181GitHub stars
1,765public forks
Observed star growth
+66 stars24h growth
Observed OpenPulse samples
Observed OpenPulse samples
Building history7d growth
Not enough current observations
Not enough current observations
Building history30d growth
Not enough current observations
Not enough current observations
Latest OpenPulse observation: