AlphaPeu commune
princeton-vl/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
- Propriétaire
- princeton-vl (organisation)
- Étoiles
- Étoiles : 422
- Forks
- Forks : 54
- Langage
- Coq
- Licence
- LGPL-2.1
- Création
- 2019
- Sujets
- theorem-provingmachine-learningicml-2019
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de princeton-vl
Les 27 dépôts de princeton-vl- princeton-vl/infinigenÉtoiles : 7 385PythonStable
- princeton-vl/RAFTÉtoiles : 4 121PythonRC
- princeton-vl/DROID-SLAMÉtoiles : 2 722PythonRC
- princeton-vl/CornerNetÉtoiles : 2 372PythonRC
- princeton-vl/CornerNet-LiteÉtoiles : 1 771PythonBêta
- princeton-vl/DPVOÉtoiles : 1 146C++Bêta
D’autres dépôts Coq
Tous les dépôts Coq- rocq-community/rocq-tricksÉtoiles : 556CoqAlpha
- antalsz/hs-to-coqÉtoiles : 283CoqAlpha
- lulinchen/cnn_openÉtoiles : 263CoqAlpha
- mit-pdos/fscqÉtoiles : 252CoqAlpha