项目描述 ：
Docker-Coq + Travis CI demo 1

高级语言： Coq

项目主页： https://github.com/coq-community/docker-coq/wiki/CI-setup

项目地址: git://github.com/erikmd/docker-coq-travis-ci-demo-1.git

创建时间： 2018-10-31T22:47:21Z
项目社区：https://github.com/erikmd/docker-coq-travis-ci-demo-1
开源协议：BSD 3-Clause "New" or "Revised" License
下载