Help

System theme

Docker Suite

rocq/rocq-prover

Sponsored OSS

•Updated about 22 hours ago

Docker images of the Rocq Prover

Image

Security

Languages & frameworks

Integration & delivery

2

100K+

Tags for rocq/rocq-prover

Sort by

TAG

dev-native-flambda

Last pushed about 22 hours by erikmd

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

Digest	OS/ARCH	Compressed size
936493a7f07f	linux/amd64	1.51 GB

TAG

dev-native-ocaml-4.14-flambda

Last pushed about 22 hours by erikmd

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

Digest	OS/ARCH	Compressed size
936493a7f07f	linux/amd64	1.51 GB

TAG

dev-native-ocaml-4.14.2-flambda

Last pushed about 22 hours by erikmd

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

Digest	OS/ARCH	Compressed size
936493a7f07f	linux/amd64	1.51 GB

TAG

Last pushed about 22 hours by erikmd

docker pull rocq/rocq-prover:dev

Digest	OS/ARCH	Compressed size
0573e7a1f136	linux/amd64	1.46 GB

TAG

dev-ocaml-4.14-flambda

Last pushed about 22 hours by erikmd

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

Digest	OS/ARCH	Compressed size
0573e7a1f136	linux/amd64	1.46 GB

TAG

dev-ocaml-4.14.2-flambda

Last pushed about 22 hours by erikmd

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

Digest	OS/ARCH	Compressed size
0573e7a1f136	linux/amd64	1.46 GB

TAG

Last pushed about 22 hours by erikmd

docker pull rocq/rocq-prover:dev-native

Digest	OS/ARCH	Compressed size
26ea889161dd	linux/amd64	1.3 GB

TAG

dev-native-ocaml-4.14

Last pushed about 22 hours by erikmd

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

Digest	OS/ARCH	Compressed size
26ea889161dd	linux/amd64	1.3 GB

TAG

dev-native-ocaml-4.14.2

Last pushed about 22 hours by erikmd

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

Digest	OS/ARCH	Compressed size
26ea889161dd	linux/amd64	1.3 GB

TAG

latest-native-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
61edd1ba7242	linux/amd64	1.02 GB

TAG

latest-native-ocaml-4.14-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
61edd1ba7242	linux/amd64	1.02 GB

TAG

9.2-native-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
61edd1ba7242	linux/amd64	1.02 GB

TAG

9.2.0-native-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
61edd1ba7242	linux/amd64	1.02 GB

TAG

9.2-native-ocaml-4.14-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
61edd1ba7242	linux/amd64	1.02 GB

TAG

9.2.0-native-ocaml-4.14.2-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
61edd1ba7242	linux/amd64	1.02 GB

TAG

9.1-native-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
b79f33dcc2c3	linux/amd64	1.01 GB

TAG

9.1.1-native-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
b79f33dcc2c3	linux/amd64	1.01 GB

TAG

9.1-native-ocaml-4.14-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
b79f33dcc2c3	linux/amd64	1.01 GB

TAG

9.1.1-native-ocaml-4.14.2-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
b79f33dcc2c3	linux/amd64	1.01 GB

TAG

9.0-native-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
971683df424b	linux/amd64	1 GB

TAG

9.0.1-native-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
971683df424b	linux/amd64	1 GB

TAG

9.0-native-ocaml-4.14-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
971683df424b	linux/amd64	1 GB

TAG

9.0.1-native-ocaml-4.14.2-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
971683df424b	linux/amd64	1 GB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/rocq-prover:latest

Digest	OS/ARCH	Compressed size
33926fb3757b	linux/amd64	1019.91 MB

TAG

latest-ocaml-4.14-flambda

Last pushed about 1 month by erikmd

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

Digest	OS/ARCH	Compressed size
33926fb3757b	linux/amd64	1019.91 MB