Help

System theme

Docker Suite

rocq/rocq-prover

Sponsored OSS

•Updated about 12 hours ago

Docker images of the Rocq Prover

Image

Security

Languages & frameworks

Integration & delivery

2

100K+

Tags for rocq/rocq-prover

Sort by

TAG

latest-native-ocaml-5.4-flambda

Last pushed about 12 hours by justme06

docker pull rocq/rocq-prover:latest-native-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
77c6a3863b35	linux/amd64	1 GB

TAG

9.3-native-ocaml-5.4-flambda

Last pushed about 12 hours by justme06

docker pull rocq/rocq-prover:9.3-native-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
77c6a3863b35	linux/amd64	1 GB

TAG

9.3.0-native-ocaml-5.4.1-flambda

Last pushed about 12 hours by justme06

docker pull rocq/rocq-prover:9.3.0-native-ocaml-5.4.1-flambda

Digest	OS/ARCH	Compressed size
77c6a3863b35	linux/amd64	1 GB

TAG

dev-native-ocaml-5.4-flambda

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
265cc2cc16cc	linux/amd64	1.43 GB

TAG

dev-native-ocaml-5.4.1-flambda

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-5.4.1-flambda

Digest	OS/ARCH	Compressed size
265cc2cc16cc	linux/amd64	1.43 GB

TAG

latest-ocaml-5.4-flambda

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:latest-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
422fe43e02a4	linux/amd64	978.71 MB

TAG

9.3-ocaml-5.4-flambda

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:9.3-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
422fe43e02a4	linux/amd64	978.71 MB

TAG

9.3.0-ocaml-5.4.1-flambda

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:9.3.0-ocaml-5.4.1-flambda

Digest	OS/ARCH	Compressed size
422fe43e02a4	linux/amd64	978.71 MB

TAG

dev-native-ocaml-5.4

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-5.4

Digest	OS/ARCH	Compressed size
3abff62e2f2e	linux/amd64	1.23 GB

TAG

dev-native-ocaml-5.4.1

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:dev-native-ocaml-5.4.1

Digest	OS/ARCH	Compressed size
3abff62e2f2e	linux/amd64	1.23 GB

TAG

dev-ocaml-5.4-flambda

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:dev-ocaml-5.4-flambda

Digest	OS/ARCH	Compressed size
232d77da0343	linux/amd64	1.38 GB

TAG

dev-ocaml-5.4.1-flambda

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:dev-ocaml-5.4.1-flambda

Digest	OS/ARCH	Compressed size
232d77da0343	linux/amd64	1.38 GB

TAG

latest-native-ocaml-5.4

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:latest-native-ocaml-5.4

Digest	OS/ARCH	Compressed size
7fa3c0090bc3	linux/amd64	820.07 MB

TAG

9.3-native-ocaml-5.4

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:9.3-native-ocaml-5.4

Digest	OS/ARCH	Compressed size
7fa3c0090bc3	linux/amd64	820.07 MB

TAG

9.3.0-native-ocaml-5.4.1

Last pushed about 13 hours by justme06

docker pull rocq/rocq-prover:9.3.0-native-ocaml-5.4.1

Digest	OS/ARCH	Compressed size
7fa3c0090bc3	linux/amd64	820.07 MB

TAG

latest-native-flambda

Last pushed about 16 hours by justme06

docker pull rocq/rocq-prover:latest-native-flambda

Digest	OS/ARCH	Compressed size
2ae739e6e0de	linux/amd64	1.08 GB

TAG

latest-native-ocaml-4.14-flambda

Last pushed about 16 hours by justme06

docker pull rocq/rocq-prover:latest-native-ocaml-4.14-flambda

Digest	OS/ARCH	Compressed size
2ae739e6e0de	linux/amd64	1.08 GB

TAG

9.3-native-flambda

Last pushed about 16 hours by justme06

docker pull rocq/rocq-prover:9.3-native-flambda

Digest	OS/ARCH	Compressed size
2ae739e6e0de	linux/amd64	1.08 GB

TAG

9.3.0-native-flambda

Last pushed about 16 hours by justme06

docker pull rocq/rocq-prover:9.3.0-native-flambda

Digest	OS/ARCH	Compressed size
2ae739e6e0de	linux/amd64	1.08 GB

TAG

9.3-native-ocaml-4.14-flambda

Last pushed about 16 hours by justme06

docker pull rocq/rocq-prover:9.3-native-ocaml-4.14-flambda

Digest	OS/ARCH	Compressed size
2ae739e6e0de	linux/amd64	1.08 GB

TAG

9.3.0-native-ocaml-4.14.2-flambda

Last pushed about 16 hours by justme06

docker pull rocq/rocq-prover:9.3.0-native-ocaml-4.14.2-flambda

Digest	OS/ARCH	Compressed size
2ae739e6e0de	linux/amd64	1.08 GB

TAG

Last pushed about 16 hours by justme06

docker pull rocq/rocq-prover:latest

Digest	OS/ARCH	Compressed size
97a68f230e78	linux/amd64	1.04 GB

TAG

latest-ocaml-4.14-flambda

Last pushed about 16 hours by justme06

docker pull rocq/rocq-prover:latest-ocaml-4.14-flambda

Digest	OS/ARCH	Compressed size
97a68f230e78	linux/amd64	1.04 GB

TAG

Last pushed about 16 hours by justme06

docker pull rocq/rocq-prover:9.3

Digest	OS/ARCH	Compressed size
97a68f230e78	linux/amd64	1.04 GB

TAG

Last pushed about 16 hours by justme06

docker pull rocq/rocq-prover:9.3.0

Digest	OS/ARCH	Compressed size
97a68f230e78	linux/amd64	1.04 GB