binghelisp/hol-dev

By binghelisp

•Updated 10 months ago

Docker images for CI of HOL Theorem Prover (HOL4)

Image

Languages & frameworks

Developer tools

50K+

Overview Tags

Tags for binghelisp/hol-dev

Sort by

TAG

latest

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:latest

Digest	OS/ARCH	Compressed size
cd67fb681964	linux/386	2.18 GB
4f3a8e5ff660	linux/amd64	2.37 GB
ec85cd52c4c8	linux/arm64	2.25 GB
e6b40417180e	linux/riscv64	2.12 GB

TAG

base

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:base

Digest	OS/ARCH	Compressed size
48cec664cdd3	linux/386	549.63 MB
ccfb0e6f3663	linux/amd64	597.58 MB
c93f094284e3	linux/arm64	536.32 MB
3a56d40da77d	linux/riscv64	543.97 MB

TAG

ci-db751c2-otknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-db751c2-otknl

Digest	OS/ARCH	Compressed size
ad05b7e0dada	linux/amd64	2.58 GB

TAG

ci-db751c2-expk

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-db751c2-expk

Digest	OS/ARCH	Compressed size
9d93ccc8b4cf	linux/amd64	2.7 GB

TAG

ci-db751c2-stdknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-db751c2-stdknl

Digest	OS/ARCH	Compressed size
65fcf97f3ced	linux/amd64	2.7 GB

TAG

ci-db751c2-mosml

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-db751c2-mosml

Digest	OS/ARCH	Compressed size
18504f5030f6	linux/amd64	2.45 GB

TAG

ci-6ea4e31-otknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-6ea4e31-otknl

Digest	OS/ARCH	Compressed size
e0d8f787ee3a	linux/amd64	2.58 GB

TAG

ci-6ea4e31-expk

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-6ea4e31-expk

Digest	OS/ARCH	Compressed size
f5ea699ba145	linux/amd64	2.7 GB

TAG

ci-6ea4e31-stdknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-6ea4e31-stdknl

Digest	OS/ARCH	Compressed size
8549a705f88b	linux/amd64	2.7 GB

TAG

ci-6ea4e31-mosml

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-6ea4e31-mosml

Digest	OS/ARCH	Compressed size
14efeada109c	linux/amd64	2.45 GB

TAG

ci-da5f7d8-otknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-da5f7d8-otknl

Digest	OS/ARCH	Compressed size
1162819a10d5	linux/amd64	2.58 GB

TAG

ci-da5f7d8-expk

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-da5f7d8-expk

Digest	OS/ARCH	Compressed size
8315bb2c555c	linux/amd64	2.7 GB

TAG

ci-da5f7d8-stdknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-da5f7d8-stdknl

Digest	OS/ARCH	Compressed size
1456b6f24f49	linux/amd64	2.7 GB

TAG

ci-da5f7d8-mosml

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-da5f7d8-mosml

Digest	OS/ARCH	Compressed size
623b8e7f5690	linux/amd64	2.45 GB

TAG

ci-82ee05a-otknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-82ee05a-otknl

Digest	OS/ARCH	Compressed size
4406c8d93abf	linux/amd64	2.58 GB

TAG

ci-82ee05a-expk

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-82ee05a-expk

Digest	OS/ARCH	Compressed size
279040b69bcb	linux/amd64	2.7 GB

TAG

ci-82ee05a-stdknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-82ee05a-stdknl

Digest	OS/ARCH	Compressed size
ea6f565e83f0	linux/amd64	2.7 GB

TAG

ci-82ee05a-mosml

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-82ee05a-mosml

Digest	OS/ARCH	Compressed size
dc900e20027e	linux/amd64	2.45 GB

TAG

ci-bfda2d6-otknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-bfda2d6-otknl

Digest	OS/ARCH	Compressed size
8f1b8de95cba	linux/amd64	2.58 GB

TAG

ci-bfda2d6-expk

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-bfda2d6-expk

Digest	OS/ARCH	Compressed size
75cfcd8caac6	linux/amd64	2.7 GB

TAG

ci-bfda2d6-stdknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-bfda2d6-stdknl

Digest	OS/ARCH	Compressed size
0f67c2700462	linux/amd64	2.7 GB

TAG

ci-bfda2d6-mosml

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-bfda2d6-mosml

Digest	OS/ARCH	Compressed size
7b53ab60f36a	linux/amd64	2.45 GB

TAG

ci-b9c9c6c-otknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-b9c9c6c-otknl

Digest	OS/ARCH	Compressed size
0211148252bc	linux/amd64	2.58 GB

TAG

ci-b9c9c6c-expk

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-b9c9c6c-expk

Digest	OS/ARCH	Compressed size
08e2f2169ba0	linux/amd64	2.7 GB

TAG

ci-b9c9c6c-stdknl

Last pushed 10 months by binghelisp

docker pull binghelisp/hol-dev:ci-b9c9c6c-stdknl

Digest	OS/ARCH	Compressed size
3bbbf1bdf597	linux/amd64	2.7 GB