 |
VOOZH | about |
|
VOOZH | about |
Parent image for Docker images of Coq (WARNING: This repository is not active anymore)
50K+
👁 tags
👁 pipeline status
👁 pulls
👁 stars
👁 dockerfile
👁 coq
This repository provided parent images for Docker images of the Coq proof assistant.
These images are based on Debian 12 Slim:
| 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 |
This Dockerfile repository is mirrored on GitLab, but issues and pull requests are tracked on GitHub.
Warning
This repository is not active anymore.
Parent images for the Rocq Prover and Coq are stored in the rocq/base repository.
Dockerfile linksContent type
Image
Digest
sha256:96212ade3…
Size
433.7 MB
Last updated
over 1 year ago
docker pull coqorg/base:4.07.1-flambdaPulls:
46
Jun 15 to Jun 21