Sign in Sign up

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

dev-native-flambda

Last pushed about 12 hours by erikmd

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

Digest	OS/ARCH	Compressed size
4c2651ba1933	linux/amd64	1.51 GB

TAG

dev-native-ocaml-4.14-flambda

Last pushed about 12 hours by erikmd

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

Digest	OS/ARCH	Compressed size
4c2651ba1933	linux/amd64	1.51 GB

TAG

dev-native-ocaml-4.14.2-flambda

Last pushed about 12 hours by erikmd

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

Digest	OS/ARCH	Compressed size
4c2651ba1933	linux/amd64	1.51 GB

TAG

Last pushed about 12 hours by erikmd

docker pull rocq/rocq-prover:dev

Digest	OS/ARCH	Compressed size
9a45150bb1e4	linux/amd64	1.46 GB

TAG

dev-ocaml-4.14-flambda

Last pushed about 12 hours by erikmd

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

Digest	OS/ARCH	Compressed size
9a45150bb1e4	linux/amd64	1.46 GB

TAG

dev-ocaml-4.14.2-flambda

Last pushed about 12 hours by erikmd

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

Digest	OS/ARCH	Compressed size
9a45150bb1e4	linux/amd64	1.46 GB

TAG

Last pushed about 12 hours by erikmd

docker pull rocq/rocq-prover:dev-native

Digest	OS/ARCH	Compressed size
df69b8a3d160	linux/amd64	1.3 GB

TAG

dev-native-ocaml-4.14

Last pushed about 12 hours by erikmd

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

Digest	OS/ARCH	Compressed size
df69b8a3d160	linux/amd64	1.3 GB

TAG

dev-native-ocaml-4.14.2

Last pushed about 12 hours by erikmd

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

Digest	OS/ARCH	Compressed size
df69b8a3d160	linux/amd64	1.3 GB

TAG

latest-native-flambda

Last pushed 3 months by erikmd

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

Digest	OS/ARCH	Compressed size
93838803388d	linux/amd64	1.02 GB

TAG

latest-native-ocaml-4.14-flambda

Last pushed 3 months by erikmd

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

Digest	OS/ARCH	Compressed size
93838803388d	linux/amd64	1.02 GB

TAG

9.2-native-flambda

Last pushed 3 months by erikmd

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

Digest	OS/ARCH	Compressed size
93838803388d	linux/amd64	1.02 GB

TAG

9.2.0-native-flambda

Last pushed 3 months by erikmd

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

Digest	OS/ARCH	Compressed size
93838803388d	linux/amd64	1.02 GB

TAG

9.2-native-ocaml-4.14-flambda

Last pushed 3 months by erikmd

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

Digest	OS/ARCH	Compressed size
93838803388d	linux/amd64	1.02 GB

TAG

9.2.0-native-ocaml-4.14.2-flambda

Last pushed 3 months by erikmd

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

Digest	OS/ARCH	Compressed size
93838803388d	linux/amd64	1.02 GB

TAG

Last pushed 3 months by erikmd

docker pull rocq/rocq-prover:latest

Digest	OS/ARCH	Compressed size
29262a1a0009	linux/amd64	1016.3 MB

TAG

latest-ocaml-4.14-flambda

Last pushed 3 months by erikmd

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

Digest	OS/ARCH	Compressed size
29262a1a0009	linux/amd64	1016.3 MB

TAG

Last pushed 3 months by erikmd

docker pull rocq/rocq-prover:9.2

Digest	OS/ARCH	Compressed size
29262a1a0009	linux/amd64	1016.3 MB

TAG

Last pushed 3 months by erikmd

docker pull rocq/rocq-prover:9.2.0

Digest	OS/ARCH	Compressed size
29262a1a0009	linux/amd64	1016.3 MB

TAG

9.2-ocaml-4.14-flambda

Last pushed 3 months by erikmd

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

Digest	OS/ARCH	Compressed size
29262a1a0009	linux/amd64	1016.3 MB

TAG

9.2.0-ocaml-4.14.2-flambda

Last pushed 3 months by erikmd

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

Digest	OS/ARCH	Compressed size
29262a1a0009	linux/amd64	1016.3 MB

TAG

Last pushed 3 months by erikmd

docker pull rocq/rocq-prover:latest-native

Digest	OS/ARCH	Compressed size
479ec8d9581c	linux/amd64	845.33 MB

TAG

latest-native-ocaml-4.14

Last pushed 3 months by erikmd

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

Digest	OS/ARCH	Compressed size
479ec8d9581c	linux/amd64	845.33 MB

TAG

Last pushed 3 months by erikmd

docker pull rocq/rocq-prover:9.2-native

Digest	OS/ARCH	Compressed size
479ec8d9581c	linux/amd64	845.33 MB

TAG

Last pushed 3 months by erikmd

docker pull rocq/rocq-prover:9.2.0-native

Digest	OS/ARCH	Compressed size
479ec8d9581c	linux/amd64	845.33 MB