Sign inSign up

andreaslindner/hol4docker

By andreaslindner

•Updated over 9 years ago

A docker image containing HOL4 and Emacs.

Image
0

331

Tags for andreaslindner/hol4docker

Sort by

TAG

latest

Last pushed over 9 years by andreaslindner

docker pull andreaslindner/hol4docker:latest
DigestOS/ARCHCompressed size

6c168875e2c8

linux/amd64

420.03 MB

TAG

improve

Last pushed over 9 years by andreaslindner

docker pull andreaslindner/hol4docker:improve
DigestOS/ARCHCompressed size

b479efd89b3f

linux/amd64

419.47 MB