Geeks
ml4tp
/
gamepad
A Learning Environment for Theorem Proving
Primary Language
Coq
Apache License 2.0
Apache-2.0
gamepad GitHub
Markdown
Readme
13
Issues
71
Stargazers
9
Watchers
Watchers
alreadydone
Heidelberg / Shenzhen
antonin3015
aogrcs
jhcloos
nunofernandes-plight
Photonics Precision Technologies, The Intelligence of Information & FasterCapital
paper2code-bot
@paper2code
Scottyang8math
spolu
Dust
XiaoxiaoGuo
University of Michigan, Ann Arbor