docker-coq
There are 8 repositories under docker-coq topic.
coq-community/docker-coq
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
coq-community/docker-coq-action
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
erikmd/docker-coq-github-action-demo
Demo of a regular Coq project using docker-coq-action as CI setup
appliedfm/docker-coq-vst
Docker images of the Coq proof assistant with compcert and VST pre-installed
coq-community/docker-base
Parent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]
erikmd/docker-coq-travis-ci-demo-1
Docker-Coq + Travis CI demo 1
erikmd/docker-coq-travis-ci-demo-2
Docker-Coq + Travis CI demo 2
erikmd/docker-keeper
Mirror of https://gitlab.com/erikmd/docker-keeper: Tool to help maintain Docker Hub repositories of stable, dev, or nightly-build images from a YAML-specified, single-branch GitLab repository.