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.
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: We are in the process of preparing the first stable release of Rocq (expected for end of 2024/early 2025).
Before then, you should rely on the Docker images of the Coq proof assistant instead.