This repository provides Docker images of the Rocq Prover.
These images are based on this parent image, itself based on Debian 12 Slim and relying on opam 2.0:
| GitHub repo | Type | Docker Hub | |
|---|---|---|---|
| docker-coq-action | GitHub Action | N/A | |
| ⊙ | docker-rocq | Dockerfile | rocq/rocq-prover |
| ↳ | docker-base | Dockerfile | rocq/base |
| ↳ | Debian | Linux distro | debian |
See also the docker-coq wiki for details about how to use such images locally or in a CI context.
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 Rocq Prover ≥ 9.0.
For earlier versions of the Coq Proof Assistant ≤ 8.20.1, use coqorg/coq images instead.
Tip
For most use cases, the tags 9.0 (release version) and dev (development version) are the most relevant.
Indeed, we recommend to omit the patchlevel field (using 9.0 instead of 9.0-rc1 or 9.0.0) in your CI,
so that you need not change the chosen Docker tag when a new patchlevel version of the Rocq Prover is released.