Sign inSign up

hakarlsson/hol4-devcontainer

By hakarlsson

•Updated 3 months ago

HOL4 ITP environment for VS Code compatible with rootless Docker.

Image
Developer tools
0

1.4K

Tags for hakarlsson/hol4-devcontainer

Sort by

TAG

trindemossen-2-v1_0.0.20

Last pushed 3 months by hakarlsson

docker pull hakarlsson/hol4-devcontainer:trindemossen-2-v1_0.0.20
DigestOS/ARCHCompressed size

2ffa85d37b11

linux/amd64

659.99 MB

TAG

latest

Last pushed 3 months by hakarlsson

docker pull hakarlsson/hol4-devcontainer:latest
DigestOS/ARCHCompressed size

2ffa85d37b11

linux/amd64

659.99 MB

TAG

trindemossen-2_0.0.20

Last pushed 5 months by hakarlsson

docker pull hakarlsson/hol4-devcontainer:trindemossen-2_0.0.20
DigestOS/ARCHCompressed size

82937a177326

linux/amd64

497.14 MB

TAG

trindemossen-2

Last pushed 5 months by hakarlsson

docker pull hakarlsson/hol4-devcontainer:trindemossen-2
DigestOS/ARCHCompressed size

82937a177326

linux/amd64

497.14 MB