Sign inSign up

rocq/rocq-prover

Sponsored OSS

By Inria

•Updated 32 minutes 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-ocaml-5.4-flambda

Last pushed 32 minutes by justme06

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

3ee74f42c38e

linux/amd64

1.43 GB

TAG

dev-native-ocaml-5.4.1-flambda

Last pushed 32 minutes by justme06

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

3ee74f42c38e

linux/amd64

1.43 GB

TAG

dev-native-flambda

Last pushed 32 minutes by justme06

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

53f5f894b546

linux/amd64

1.51 GB

TAG

dev-native-ocaml-4.14-flambda

Last pushed 32 minutes by justme06

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

53f5f894b546

linux/amd64

1.51 GB

TAG

dev-native-ocaml-4.14.2-flambda

Last pushed 32 minutes by justme06

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

53f5f894b546

linux/amd64

1.51 GB

TAG

dev-native-ocaml-5.4

Last pushed 36 minutes by justme06

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

306b521f8920

linux/amd64

1.23 GB

TAG

dev-native-ocaml-5.4.1

Last pushed 36 minutes by justme06

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

306b521f8920

linux/amd64

1.23 GB

TAG

dev

Last pushed 36 minutes by justme06

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

bb036d83edd9

linux/amd64

1.46 GB

TAG

dev-ocaml-4.14-flambda

Last pushed 36 minutes by justme06

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

bb036d83edd9

linux/amd64

1.46 GB

TAG

dev-ocaml-4.14.2-flambda

Last pushed 36 minutes by justme06

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

bb036d83edd9

linux/amd64

1.46 GB

TAG

dev-ocaml-5.4-flambda

Last pushed 37 minutes by justme06

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

95abfaf1d4c3

linux/amd64

1.38 GB

TAG

dev-ocaml-5.4.1-flambda

Last pushed 37 minutes by justme06

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

95abfaf1d4c3

linux/amd64

1.38 GB

TAG

dev-native

Last pushed 37 minutes by justme06

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

fd180930b1d6

linux/amd64

1.3 GB

TAG

dev-native-ocaml-4.14

Last pushed 37 minutes by justme06

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

fd180930b1d6

linux/amd64

1.3 GB

TAG

dev-native-ocaml-4.14.2

Last pushed 37 minutes by justme06

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

fd180930b1d6

linux/amd64

1.3 GB

TAG

latest-native-ocaml-5.4-flambda

Last pushed about 14 hours by justme06

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

77c6a3863b35

linux/amd64

1 GB

TAG

9.3-native-ocaml-5.4-flambda

Last pushed about 14 hours by justme06

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

77c6a3863b35

linux/amd64

1 GB

TAG

9.3.0-native-ocaml-5.4.1-flambda

Last pushed about 14 hours by justme06

docker pull rocq/rocq-prover:9.3.0-native-ocaml-5.4.1-flambda
DigestOS/ARCHCompressed size

77c6a3863b35

linux/amd64

1 GB

TAG

latest-ocaml-5.4-flambda

Last pushed about 14 hours by justme06

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

422fe43e02a4

linux/amd64

978.71 MB

TAG

9.3-ocaml-5.4-flambda

Last pushed about 14 hours by justme06

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

422fe43e02a4

linux/amd64

978.71 MB

TAG

9.3.0-ocaml-5.4.1-flambda

Last pushed about 14 hours by justme06

docker pull rocq/rocq-prover:9.3.0-ocaml-5.4.1-flambda
DigestOS/ARCHCompressed size

422fe43e02a4

linux/amd64

978.71 MB

TAG

latest-native-ocaml-5.4

Last pushed about 14 hours by justme06

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

7fa3c0090bc3

linux/amd64

820.07 MB

TAG

9.3-native-ocaml-5.4

Last pushed about 14 hours by justme06

docker pull rocq/rocq-prover:9.3-native-ocaml-5.4
DigestOS/ARCHCompressed size

7fa3c0090bc3

linux/amd64

820.07 MB

TAG

9.3.0-native-ocaml-5.4.1

Last pushed about 14 hours by justme06

docker pull rocq/rocq-prover:9.3.0-native-ocaml-5.4.1
DigestOS/ARCHCompressed size

7fa3c0090bc3

linux/amd64

820.07 MB

TAG

latest-native-flambda

Last pushed about 18 hours by justme06

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

2ae739e6e0de

linux/amd64

1.08 GB