gamepad

A Learning Environment for Theorem Proving

GitHub

71 stars
9 watching
15 forks
Language: Coq
last commit: over 2 years ago
coqmachine-learningpythontheorem-proving