rocq/base
Parent image for Docker images of the Rocq Prover
755
Sort by
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_4.14.2
Digest | OS/ARCH | Compressed size |
---|---|---|
be790de2b3b1 | linux/amd64 | 367.88 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:rocq_4.14.2
Digest | OS/ARCH | Compressed size |
---|---|---|
0bbcdc196315 | linux/amd64 | 367.88 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:rocq_4.12.1-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
751d7dad1eb8 | linux/amd64 | 390.14 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_4.07.1-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
95f40b7f7711 | linux/amd64 | 431.34 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:rocq_4.09.1-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
8a2810eecdc7 | linux/amd64 | 350.39 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_5.0.0-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
d897806dc3d4 | linux/amd64 | 420.04 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_4.12.1-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
7d560d98f8b5 | linux/amd64 | 390.14 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_4.07.1
Digest | OS/ARCH | Compressed size |
---|---|---|
e1e71bf091ca | linux/amd64 | 408.45 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:rocq_4.14.2-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
0bfb99fc3acf | linux/amd64 | 400.74 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_4.14.2-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
b0f861686c03 | linux/amd64 | 400.75 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_4.09.1-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
1a8a12e9d46d | linux/amd64 | 350.4 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:rocq_5.0.0-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
0f83d4fdf8a0 | linux/amd64 | 420.04 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_4.11.2-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
7a14d8b38aa3 | linux/amd64 | 385.6 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_4.08.1-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
e0ac371c671b | linux/amd64 | 353.68 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:rocq_4.10.2-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
2948ae4edd50 | linux/amd64 | 358.18 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_4.13.1-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
7dc5dd83d422 | linux/amd64 | 394.31 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:rocq_4.08.1-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
fca07f292cfe | linux/amd64 | 353.68 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:rocq_4.11.2-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
557362b1db07 | linux/amd64 | 385.61 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:rocq_4.13.1-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
ed7c08f3d075 | linux/amd64 | 394.3 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_4.10.2-flambda
Digest | OS/ARCH | Compressed size |
---|---|---|
0f77cb0b08d3 | linux/amd64 | 358.19 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:rocq_5.0.0
Digest | OS/ARCH | Compressed size |
---|---|---|
2101eb0f23d2 | linux/amd64 | 387.87 MB |
Digest | OS/ARCH | Compressed size |
---|---|---|
d42dfd1bf7b8 | linux/amd64 | 387.87 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:coq_4.13.1
Digest | OS/ARCH | Compressed size |
---|---|---|
44e233e3a7e8 | linux/amd64 | 362.29 MB |
TAG
Last pushed about 1 month by erikmd
docker pull rocq/base:rocq_4.13.1
Digest | OS/ARCH | Compressed size |
---|---|---|
f4497f43cf64 | linux/amd64 | 362.29 MB |
Digest | OS/ARCH | Compressed size |
---|---|---|
29770148fdc1 | linux/amd64 | 160.4 MB |