GitHub repository: princeton-vl/CoqGym
Primary language: Coq
Created: 2019-05-24T22:31:21Z
Description: A Learning Environment for Theorem Proving with the Coq proof assistant