Skip to content

coq-community/docker-coq

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.