Awesome

coqorg/coq

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.