facebookresearch/atlas-lean

ATLAS Autoformalized Textbook Library At Scale

Lean192 stars17 forks

Rankings

Daily

#5517

Weekly

#8881

Monthly

#9988

Engagement

Total stars

Daily new stars

Get badge

Add a Trending Repos badge to your README

This repository is tracked by Trending Repos. The badge upgrades automatically the moment it cracks the top 100 — set it once and forget it.

Markdown — paste into your README

[![Trending Repos](https://trending-repos.com/badge/facebookresearch/atlas-lean.svg)](https://trending-repos.com/repositories/facebookresearch/atlas-lean)

HTML

<a href="https://trending-repos.com/repositories/facebookresearch/atlas-lean"><img src="https://trending-repos.com/badge/facebookresearch/atlas-lean.svg" alt="Trending Repos" /></a>

Raw image URL

https://trending-repos.com/badge/facebookresearch/atlas-lean.svg

Back to trending