This repository provides Docker images of the Coq proof assistant.
These images are based on this parent image, itself based on Debian 10 Slim and relying on opam 2.0:
GitHub repo | Type | Docker Hub | |
---|---|---|---|
docker-coq-action | GitHub action | N/A | |
x | docker-coq | Dockerfile | coqorg/coq |
↳ | docker-base | Dockerfile | coqorg/base |
↳ | Debian | Linux distro | debian |
See also the docker-coq wiki for details about how to use these images.
This Dockerfile repository is mirrored on GitLab, but issues and pull requests are tracked on GitHub.