Docker Coq Save
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
Project README
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.
Open Source Agenda is not affiliated with "Docker Coq" Project. README Source: coq-community/docker-coq
Stars
36
Open Issues
5
Last Commit
1 month ago
Repository
License
Homepage
Open Source Agenda Badge
