AlphaUncommon
facebookresearch/atlas-lean
ATLAS Autoformalized Textbook Library At Scale
- Owner
- facebookresearch (organization)
- Stars
- Stars: 329
- Forks
- Forks: 49
- Language
- Lean
- License
- None
- Created
- 2026
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by facebookresearch
All 640 repos by facebookresearch- facebookresearch/segment-anythingStars: 55,098Jupyter NotebookLTS
- facebookresearch/faissStars: 41,256C++LTS
- facebookresearch/detectron2Stars: 34,966PythonLTS
- facebookresearch/fairseqStars: 32,210PythonLTS
- facebookresearch/fastTextStars: 26,513HTMLLTS
- facebookresearch/DetectronStars: 26,341PythonLTS
Nearby in Lean
All Lean repos- Verified-zkEVM/ArkLibStars: 351LeanAlpha
- verse-lab/veilStars: 351LeanAlpha
- Kha/electrolysisStars: 340LeanAlpha
- math-inc/strongpntStars: 327LeanAlpha
- google-deepmind/alphaproof-nexus-resultsStars: 322LeanAlpha
- NyxFoundation/nyxisStars: 319LeanAlpha