openai/math

No description provided.

• Stars 17.1k
• Forks 1.9k
• Language Lean
• Created 2026-10-06
• Last push 2026-10-30
• First surfaced here 2026-10-30

View on GitHub →

License: Apache-2.0