GamePad Environment

홈페이지 · 논문 1편

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 Proving](/paper/gamepad-a-learning-environment-for-theorem)