项目描述 ：
A Learning Environment for Theorem Proving with the Coq proof assistant

高级语言： Coq

项目主页： https://arxiv.org/abs/1905.09381

项目地址: git://github.com/princeton-vl/CoqGym.git

创建时间： 2019-05-24T22:31:20Z
项目社区：https://github.com/princeton-vl/CoqGym
开源协议：GNU Lesser General Public License v2.1
下载