AlphaPeu commune
facebookresearch/atlas-lean
ATLAS Autoformalized Textbook Library At Scale
- Propriétaire
- facebookresearch (organisation)
- Étoiles
- Étoiles : 328
- Forks
- Forks : 48
- Langage
- Lean
- Licence
- Aucune
- Création
- 2026
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de facebookresearch
Les 640 dépôts de facebookresearch- facebookresearch/segment-anythingÉtoiles : 55 095Jupyter NotebookLTS
- facebookresearch/faissÉtoiles : 41 250C++LTS
- facebookresearch/detectron2Étoiles : 34 965PythonLTS
- facebookresearch/fairseqÉtoiles : 32 210PythonLTS
- facebookresearch/fastTextÉtoiles : 26 513HTMLLTS
- facebookresearch/DetectronÉtoiles : 26 343PythonLTS
D’autres dépôts Lean
Tous les dépôts Lean- verse-lab/veilÉtoiles : 350LeanAlpha
- Verified-zkEVM/ArkLibÉtoiles : 348LeanAlpha
- Kha/electrolysisÉtoiles : 340LeanAlpha
- math-inc/strongpntÉtoiles : 327LeanAlpha
- google-deepmind/alphaproof-nexus-resultsÉtoiles : 322LeanAlpha
- NyxFoundation/nyxisÉtoiles : 318LeanAlpha