Skip to content
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Standard ML TeX OCaml Emacs Lisp C++ C Other
Branch: master
Clone or download
Pull request Compare This branch is 1391 commits behind HOL-Theorem-Prover:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.

Files

Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Manual
bin
developers
doc
examples
help
sigobj
src
tools-poly
tools
.gitignore
.travis.yml
CONTRIBUTORS
COPYRIGHT
INSTALL
README.md
std.prelude

README.md

Build Status

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
You can’t perform that action at this time.