coq-community / docker-coq

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

coqorg/coq

This repository provides Docker images of the Coq proof assistant.

These images are based on this parent image, itself based on Debian 11 Slim and relying on opam 2.0:

	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.