https://github.com/ml4tp/gamepad

A Learning Environment for Theorem Proving
https://github.com/ml4tp/gamepad

coq machine-learning python theorem-proving

Last synced: about 1 month ago
JSON representation

A Learning Environment for Theorem Proving

• Host: GitHub
• URL: https://github.com/ml4tp/gamepad
• Owner: ml4tp
• License: apache-2.0
• Created: 2018-05-31T07:01:00.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2022-06-21T21:19:24.000Z (over 2 years ago)
• Last Synced: 2024-09-30T20:47:44.027Z (about 1 month ago)
• Topics: coq, machine-learning, python, theorem-proving
• Language: Coq
• Homepage:
• Size: 53.8 MB
• Stars: 71
• Watchers: 9
• Forks: 15
• Open Issues: 12

Awesome Lists containing this project