Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
src		src
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
_CoqProject		_CoqProject

Repository files navigation

docker-coq-travis-ci-demo-1

Demo of Docker-Coq + Travis CI.

About

Docker-Coq + Travis CI demo 1

github.com/coq-community/docker-coq/wiki/CI-setup

travis-ci ci coq docker-coq

BSD-3-Clause license

Activity

Report repository

Releases

No releases published

Packages

Contributors

Languages

Rocq Prover 100.0%