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