smyrbdr / coqgym-thm_proof_assistant Goto Github PK
View Code? Open in Web Editor NEWThis project forked from princeton-vl/coqgym
A Learning Environment for Theorem Proving with the Coq proof assistant
Home Page: https://arxiv.org/abs/1905.09381
License: GNU Lesser General Public License v2.1