lcdoutlet/hol-light

•Updated over 8 years ago

Alpine, OCaml, HOL-light

Image

1.0K

Tags for lcdoutlet/hol-light

Sort by

TAG

latest

Last pushed over 8 years by lcdoutlet

docker pull lcdoutlet/hol-light:latest

Digest	OS/ARCH	Compressed size
80b79a84c6bd	linux/amd64	450.23 MB