注册
登录
Windows
CoqGym
返回
项目作者:
princeton-vl
项目描述 :
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
下载