AlphaUncommon
princeton-vl/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
- Owner
- princeton-vl (organization)
- Stars
- Stars: 422
- Forks
- Forks: 54
- Language
- Coq
- License
- LGPL-2.1
- Created
- 2019
- Topics
- theorem-provingmachine-learningicml-2019
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by princeton-vl
All 27 repos by princeton-vl- princeton-vl/infinigenStars: 7,385PythonStable
- princeton-vl/RAFTStars: 4,121PythonRC
- princeton-vl/DROID-SLAMStars: 2,722PythonRC
- princeton-vl/CornerNetStars: 2,372PythonRC
- princeton-vl/CornerNet-LiteStars: 1,771PythonBeta
- princeton-vl/DPVOStars: 1,146C++Beta
Nearby in Coq
All Coq repos- rocq-community/rocq-tricksStars: 556CoqAlpha
- antalsz/hs-to-coqStars: 283CoqAlpha
- lulinchen/cnn_openStars: 263CoqAlpha
- mit-pdos/fscqStars: 252CoqAlpha