This repository provides Docker images of the Coq proof assistant.
These images are based on this parent image, itself based on Debian 12 Slim and relying on opam 2.x:
| GitHub repo | Type | Docker Hub | |
|---|---|---|---|
| docker-coq-action | GitHub Action | N/A | |
| ⊙ | 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.
Note
Note that this repository only contain Docker images for the Coq Proof Assistant ≤ 8.20.1.
For newest versions of the Rocq Prover ≥ 9.0, use rocq/rocq-prover images instead.