Parent image for Docker images of the Rocq Prover
10K+
rocq_5.3.0-flambdarocq_5.0.0-flambdarocq_4.14.2-flambdarocq_4.13.1-flambdarocq_4.12.1-flambdarocq_4.11.2-flambdarocq_5.3.0rocq_5.0.0rocq_4.14.2rocq_4.13.1rocq_5.4.1-flambdarocq_5.4.1coq_5.3.0-flambdacoq_5.0.0-flambdacoq_4.14.2-flambdacoq_4.13.1-flambdacoq_4.12.1-flambdacoq_4.11.2-flambdacoq_5.3.0coq_5.0.0coq_4.14.2coq_4.13.1rocq_barecoq_bareContent type
Image
Digest
sha256:a1c4aa114…
Size
351.9 MB
Last updated
about 7 hours ago
docker pull rocq/base:rocq_5.4.1-flambdaPulls:
654
Last week