GitHub repository: ml4tp/gamepad
Primary language: Coq
Created: 2018-05-31T06:34:26Z
Description: A Learning Environment for Theorem Proving