facebookresearch/atlas-lean

ATLAS Autoformalized Textbook Library At Scale

Lean192 stars17 forks

Momentum

facebookresearch/atlas-lean has 192 GitHub stars.

It currently ranks #43652 daily, #43683 weekly, #44340 monthly by momentum on Trending Repos; its best-ever rank is #4456.

Rankings

PeriodRankScore

Daily

#436520.0

Weekly

#436830.0

Monthly

#443400.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #4456

Format

Markdown

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

facebookresearch/atlas-lean

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

facebookresearch/atlas-lean

Momentum

Rankings

Engagement

Similar trending repositories

Embeds