Sign inSign up

rocq/rocq-prover

Sponsored OSS

By Inria

•Updated 10 days ago

Docker images of the Rocq Prover

Image
Security
Languages & frameworks
Integration & delivery
2

100K+

Tags for rocq/rocq-prover

Sort by

TAG

dev

Last pushed 10 days by erikmd

docker pull rocq/rocq-prover:dev
DigestOS/ARCHCompressed size

5fd0969929c0

linux/amd64

1.46 GB

TAG

dev-ocaml-4.14-flambda

Last pushed 10 days by erikmd

docker pull rocq/rocq-prover:dev-ocaml-4.14-flambda
DigestOS/ARCHCompressed size

5fd0969929c0

linux/amd64

1.46 GB

TAG

dev-ocaml-4.14.2-flambda

Last pushed 10 days by erikmd

docker pull rocq/rocq-prover:dev-ocaml-4.14.2-flambda
DigestOS/ARCHCompressed size

5fd0969929c0

linux/amd64

1.46 GB

TAG

dev-native-flambda

Last pushed 10 days by erikmd

docker pull rocq/rocq-prover:dev-native-flambda
DigestOS/ARCHCompressed size

d554c36f6077

linux/amd64

1.5 GB

TAG

dev-native-ocaml-4.14-flambda

Last pushed 10 days by erikmd

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

d554c36f6077

linux/amd64

1.5 GB

TAG

dev-native-ocaml-4.14.2-flambda

Last pushed 10 days by erikmd

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

d554c36f6077

linux/amd64

1.5 GB

TAG

dev-native

Last pushed 10 days by erikmd

docker pull rocq/rocq-prover:dev-native
DigestOS/ARCHCompressed size

db05dd830465

linux/amd64

1.3 GB

TAG

dev-native-ocaml-4.14

Last pushed 10 days by erikmd

docker pull rocq/rocq-prover:dev-native-ocaml-4.14
DigestOS/ARCHCompressed size

db05dd830465

linux/amd64

1.3 GB

TAG

dev-native-ocaml-4.14.2

Last pushed 10 days by erikmd

docker pull rocq/rocq-prover:dev-native-ocaml-4.14.2
DigestOS/ARCHCompressed size

db05dd830465

linux/amd64

1.3 GB

TAG

9.3

Last pushed 13 days by erikmd

docker pull rocq/rocq-prover:9.3
DigestOS/ARCHCompressed size

63470b98fedc

linux/amd64

1.03 GB

TAG

9.3-rc1

Last pushed 13 days by erikmd

docker pull rocq/rocq-prover:9.3-rc1
DigestOS/ARCHCompressed size

63470b98fedc

linux/amd64

1.03 GB

TAG

9.3-ocaml-4.14-flambda

Last pushed 13 days by erikmd

docker pull rocq/rocq-prover:9.3-ocaml-4.14-flambda
DigestOS/ARCHCompressed size

63470b98fedc

linux/amd64

1.03 GB

TAG

9.3-rc1-ocaml-4.14.2-flambda

Last pushed 13 days by erikmd

docker pull rocq/rocq-prover:9.3-rc1-ocaml-4.14.2-flambda
DigestOS/ARCHCompressed size

63470b98fedc

linux/amd64

1.03 GB

TAG

latest-native-flambda

Last pushed 4 months by erikmd

docker pull rocq/rocq-prover:latest-native-flambda
DigestOS/ARCHCompressed size

93838803388d

linux/amd64

1.02 GB

TAG

latest-native-ocaml-4.14-flambda

Last pushed 4 months by erikmd

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

93838803388d

linux/amd64

1.02 GB

TAG

9.2-native-flambda

Last pushed 4 months by erikmd

docker pull rocq/rocq-prover:9.2-native-flambda
DigestOS/ARCHCompressed size

93838803388d

linux/amd64

1.02 GB

TAG

9.2.0-native-flambda

Last pushed 4 months by erikmd

docker pull rocq/rocq-prover:9.2.0-native-flambda
DigestOS/ARCHCompressed size

93838803388d

linux/amd64

1.02 GB

TAG

9.2-native-ocaml-4.14-flambda

Last pushed 4 months by erikmd

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

93838803388d

linux/amd64

1.02 GB

TAG

9.2.0-native-ocaml-4.14.2-flambda

Last pushed 4 months by erikmd

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

93838803388d

linux/amd64

1.02 GB

TAG

latest

Last pushed 4 months by erikmd

docker pull rocq/rocq-prover:latest
DigestOS/ARCHCompressed size

29262a1a0009

linux/amd64

1016.3 MB

TAG

latest-ocaml-4.14-flambda

Last pushed 4 months by erikmd

docker pull rocq/rocq-prover:latest-ocaml-4.14-flambda
DigestOS/ARCHCompressed size

29262a1a0009

linux/amd64

1016.3 MB

TAG

9.2

Last pushed 4 months by erikmd

docker pull rocq/rocq-prover:9.2
DigestOS/ARCHCompressed size

29262a1a0009

linux/amd64

1016.3 MB

TAG

9.2.0

Last pushed 4 months by erikmd

docker pull rocq/rocq-prover:9.2.0
DigestOS/ARCHCompressed size

29262a1a0009

linux/amd64

1016.3 MB

TAG

9.2-ocaml-4.14-flambda

Last pushed 4 months by erikmd

docker pull rocq/rocq-prover:9.2-ocaml-4.14-flambda
DigestOS/ARCHCompressed size

29262a1a0009

linux/amd64

1016.3 MB

TAG

9.2.0-ocaml-4.14.2-flambda

Last pushed 4 months by erikmd

docker pull rocq/rocq-prover:9.2.0-ocaml-4.14.2-flambda
DigestOS/ARCHCompressed size

29262a1a0009

linux/amd64

1016.3 MB