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

高级语言： Dockerfile

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

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

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