PrototypeCommune
facebookresearch/repoprover
Research code base for Automatic Textbook Formalization
- Propriétaire
- facebookresearch (organisation)
- Étoiles
- Étoiles : 162
- Forks
- Forks : 12
- Langage
- Python
- Licence
- Aucune
- Création
- 2026
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de facebookresearch
Les 640 dépôts de facebookresearch- facebookresearch/segment-anythingÉtoiles : 55 089Jupyter NotebookLTS
- facebookresearch/faissÉtoiles : 41 246C++LTS
- facebookresearch/detectron2Étoiles : 34 961PythonLTS
- facebookresearch/fairseqÉtoiles : 32 211PythonLTS
- facebookresearch/fastTextÉtoiles : 26 513HTMLLTS
- facebookresearch/DetectronÉtoiles : 26 344PythonLTS
D’autres dépôts Python
Tous les dépôts Python- RCL-Robotics/SURE-mapÉtoiles : 162PythonPrototype
- GroundedCoreAI/nexusdeskÉtoiles : 162PythonPrototype
- amathislab/terraÉtoiles : 162PythonPrototype
- brendano/tweetmotifÉtoiles : 162PythonPrototype
- andreikop/enkiÉtoiles : 162PythonPrototype
- mumrah/s3-multipartÉtoiles : 162PythonPrototype