GamePad Environment
Introduced by Huang et al. in GamePad: A Learning Environment for Theorem Proving
GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant.
Source: GamePad: A Learning Environment for Theorem ProvingPapers
| Paper | Code | Results | Date | Stars |
|---|
