docker-coq
docker-coq copied to clipboard
coq-community
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.
Metadata
36
Stars
3
Forks
Watchers
Owner
coq-community
Metadata
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]