rocq/base

Sponsored OSS

By rocq

Updated about 1 month ago

Parent image for Docker images of the Rocq Prover

Image
Languages & Frameworks
Integration & Delivery
1

755

Sort by

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.14.2
DigestOS/ARCHCompressed size

be790de2b3b1

linux/amd64

367.88 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.14.2
DigestOS/ARCHCompressed size

0bbcdc196315

linux/amd64

367.88 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.12.1-flambda
DigestOS/ARCHCompressed size

751d7dad1eb8

linux/amd64

390.14 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.07.1-flambda
DigestOS/ARCHCompressed size

95f40b7f7711

linux/amd64

431.34 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.09.1-flambda
DigestOS/ARCHCompressed size

8a2810eecdc7

linux/amd64

350.39 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_5.0.0-flambda
DigestOS/ARCHCompressed size

d897806dc3d4

linux/amd64

420.04 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.12.1-flambda
DigestOS/ARCHCompressed size

7d560d98f8b5

linux/amd64

390.14 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.07.1
DigestOS/ARCHCompressed size

e1e71bf091ca

linux/amd64

408.45 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.14.2-flambda
DigestOS/ARCHCompressed size

0bfb99fc3acf

linux/amd64

400.74 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.14.2-flambda
DigestOS/ARCHCompressed size

b0f861686c03

linux/amd64

400.75 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.09.1-flambda
DigestOS/ARCHCompressed size

1a8a12e9d46d

linux/amd64

350.4 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_5.0.0-flambda
DigestOS/ARCHCompressed size

0f83d4fdf8a0

linux/amd64

420.04 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.11.2-flambda
DigestOS/ARCHCompressed size

7a14d8b38aa3

linux/amd64

385.6 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.08.1-flambda
DigestOS/ARCHCompressed size

e0ac371c671b

linux/amd64

353.68 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.10.2-flambda
DigestOS/ARCHCompressed size

2948ae4edd50

linux/amd64

358.18 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.13.1-flambda
DigestOS/ARCHCompressed size

7dc5dd83d422

linux/amd64

394.31 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.08.1-flambda
DigestOS/ARCHCompressed size

fca07f292cfe

linux/amd64

353.68 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.11.2-flambda
DigestOS/ARCHCompressed size

557362b1db07

linux/amd64

385.61 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.13.1-flambda
DigestOS/ARCHCompressed size

ed7c08f3d075

linux/amd64

394.3 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.10.2-flambda
DigestOS/ARCHCompressed size

0f77cb0b08d3

linux/amd64

358.19 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_5.0.0
DigestOS/ARCHCompressed size

2101eb0f23d2

linux/amd64

387.87 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_5.0.0
DigestOS/ARCHCompressed size

d42dfd1bf7b8

linux/amd64

387.87 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:coq_4.13.1
DigestOS/ARCHCompressed size

44e233e3a7e8

linux/amd64

362.29 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_4.13.1
DigestOS/ARCHCompressed size

f4497f43cf64

linux/amd64

362.29 MB

TAG

Last pushed about 1 month by erikmd

docker pull rocq/base:rocq_bare
DigestOS/ARCHCompressed size

29770148fdc1

linux/amd64

160.4 MB