binghelisp/hol-dev
Docker images for CI of HOL Theorem Prover (HOL4)
Image
Languages & frameworks
Developer tools
1
50K+
binghelisp/hol-dev repository overview
This is the distribution directory for the Kananaskis release of HOL4. See http://hol-theorem-prover.org for online resources.
The following is a brief listing of what's available in the distribution.
INSTALL * Installation instructions
COPYRIGHT * Copyright notice
std.prelude * File loaded at the beginning of each HOL session
bin/ * Executables
doc/ * Some documentation, including release notes
examples/ * Some examples
help/ * Help support
src/ * The system sources
tools/ * Support for building the system
sigobj/ * Collection of all signatures and compiled code
Tag summary
Content type
Image
Digest
sha256:bf27b9b48…
Size
2.2 GB
Last updated
10 months ago
docker pull binghelisp/hol-dev