Sign inSign up

rocq/rocq-prover

Sponsored OSS

By Inria

•Updated 4 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 4 days by erikmd

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

2f7068223f8c

linux/amd64

1.46 GB

TAG

dev-ocaml-4.14-flambda

Last pushed 4 days by erikmd

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

2f7068223f8c

linux/amd64

1.46 GB

TAG

dev-ocaml-4.14.2-flambda

Last pushed 4 days by erikmd

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

2f7068223f8c

linux/amd64

1.46 GB

TAG

dev-native

Last pushed 4 days by erikmd

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

34147500790c

linux/amd64

1.3 GB

TAG

dev-native-ocaml-4.14

Last pushed 4 days by erikmd

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

34147500790c

linux/amd64

1.3 GB

TAG

dev-native-ocaml-4.14.2

Last pushed 4 days by erikmd

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

34147500790c

linux/amd64

1.3 GB

TAG

dev-native-flambda

Last pushed 4 days by erikmd

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

d39fb56159f5

linux/amd64

1.51 GB

TAG

dev-native-ocaml-4.14-flambda

Last pushed 4 days by erikmd

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

d39fb56159f5

linux/amd64

1.51 GB

TAG

dev-native-ocaml-4.14.2-flambda

Last pushed 4 days by erikmd

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

d39fb56159f5

linux/amd64

1.51 GB

TAG

9.3

Last pushed 24 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 24 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 24 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 24 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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 5 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