coqorg/coq

Sponsored OSS

By Coq-community

Updated 24 days ago

Docker images of the Coq proof assistant

Image
Languages & Frameworks
Integration & Delivery
Security

500K+

coqorg/coq

tagspipeline statusdev imagepullsstars
dockerfilebase

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 the last version of opam 2.x:

GitHub repoTypeDocker Hub
docker-coq-actionGitHub ActionN/A
docker-coqDockerfilecoqorg/coq
docker-baseDockerfilecoqorg/base
DebianLinux distrodebian

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.

Supported tags and respective Dockerfile links

Docker Pull Command

docker pull coqorg/coq