openai/math

Lean6,900 stars643 forksApache-2.0

Rankings

PeriodRankScore

Daily

#52730.1

Weekly

#96060.1

Monthly

#118610.1

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #4883

$openai/math badge$

Format

Markdown

[![openai/math badge](https://trending-repos.com/badge/openai/math.svg?v=3)](https://trending-repos.com/repositories/openai/math?utm_source=github&utm_medium=badge)

Back to trending

openai/math

Lean6,900 stars643 forksApache-2.0

Rankings

PeriodRankScore

Daily

#52730.1

Weekly

#96060.1

Monthly

#118610.1

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #4883

$openai/math badge$

Format

Markdown

[![openai/math badge](https://trending-repos.com/badge/openai/math.svg?v=3)](https://trending-repos.com/repositories/openai/math?utm_source=github&utm_medium=badge)