Help

System theme

Docker Suite

rocq/rocq-prover

Sponsored OSS

•Updated 1 day 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 1 day by justme06

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

Digest	OS/ARCH	Compressed size
9951a0200a38	linux/amd64	1.51 GB

TAG

dev-native-ocaml-4.14-flambda

Last pushed 1 day by justme06

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

Digest	OS/ARCH	Compressed size
9951a0200a38	linux/amd64	1.51 GB

TAG

dev-native-ocaml-4.14.2-flambda

Last pushed 1 day by justme06

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

Digest	OS/ARCH	Compressed size
9951a0200a38	linux/amd64	1.51 GB

TAG

Last pushed 1 day by justme06

docker pull rocq/rocq-prover:dev

Digest	OS/ARCH	Compressed size
d4a999707438	linux/amd64	1.46 GB

TAG

dev-ocaml-4.14-flambda

Last pushed 1 day by justme06

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

Digest	OS/ARCH	Compressed size
d4a999707438	linux/amd64	1.46 GB

TAG

dev-ocaml-4.14.2-flambda

Last pushed 1 day by justme06

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

Digest	OS/ARCH	Compressed size
d4a999707438	linux/amd64	1.46 GB

TAG

Last pushed 1 day by justme06

docker pull rocq/rocq-prover:dev-native

Digest	OS/ARCH	Compressed size
7e75e9059b68	linux/amd64	1.3 GB

TAG

dev-native-ocaml-4.14

Last pushed 1 day by justme06

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

Digest	OS/ARCH	Compressed size
7e75e9059b68	linux/amd64	1.3 GB

TAG

dev-native-ocaml-4.14.2

Last pushed 1 day by justme06

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

Digest	OS/ARCH	Compressed size
7e75e9059b68	linux/amd64	1.3 GB

TAG

latest-native-flambda

Last pushed about 2 months 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 2 months 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 2 months 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 2 months 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 2 months 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 2 months 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 2 months 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 2 months 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 2 months 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 2 months 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 2 months 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 2 months 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 2 months 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 2 months 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 2 months 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 2 months by erikmd

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

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