GamePad Environment
GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant.
GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant.