PrototypeCommon
facebookresearch/repoprover
Research code base for Automatic Textbook Formalization
- Owner
- facebookresearch (organization)
- Stars
- Stars: 162
- Forks
- Forks: 12
- Language
- Python
- License
- None
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by facebookresearch
All 640 repos by facebookresearch- facebookresearch/segment-anythingStars: 55,095Jupyter NotebookLTS
- facebookresearch/faissStars: 41,250C++LTS
- facebookresearch/detectron2Stars: 34,965PythonLTS
- facebookresearch/fairseqStars: 32,210PythonLTS
- facebookresearch/fastTextStars: 26,513HTMLLTS
- facebookresearch/DetectronStars: 26,343PythonLTS
Nearby in Python
All Python repos- Prism-Shadow/deepseek-harness-bookStars: 162PythonPrototype
- neurwerk/k8s_stack_baseStars: 162PythonPrototype
- RCL-Robotics/SURE-mapStars: 162PythonPrototype
- brendano/tweetmotifStars: 162PythonPrototype
- andreikop/enkiStars: 162PythonPrototype
- mumrah/s3-multipartStars: 162PythonPrototype