GitHub repository: magmkri/CoqGym
Primary language: Coq
Description: A Learning Environment for Theorem Proving with the Coq proof assistant