/docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]

Primary LanguageDockerfileBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

coqorg/coq

tags pipeline status dev image pulls stars
dockerfile base

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.