Skip to content
/ HOL Public
forked from HOL-Theorem-Prover/HOL

This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:

Notifications You must be signed in to change notification settings

seL4/HOL

 
 

Repository files navigation

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

About

This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Standard ML 87.8%
  • TeX 10.6%
  • Emacs Lisp 0.7%
  • C++ 0.2%
  • C 0.2%
  • Isabelle 0.1%
  • Other 0.4%