Awesome Lists
Top Projects
Most Links
Search
About
Add Project
gamepad
A Learning Environment for Theorem Proving
GitHub
71
stars
9
watching
15
forks
Language:
Coq
last commit:
over 2 years ago
coq
machine-learning
python
theorem-proving