GitHub - mfkiwl/HOL: Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

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

Name		Name	Last commit message	Last commit date
Latest commit History 19,927 Commits
.github/workflows		.github/workflows
Manual		Manual
bin		bin
developers		developers
doc		doc
examples		examples
help		help
sigobj		sigobj
src		src
tools-poly		tools-poly
tools		tools
.gitattributes		.gitattributes
.gitignore		.gitignore
CONTRIBUTORS		CONTRIBUTORS
COPYRIGHT		COPYRIGHT
INSTALL		INSTALL
README.md		README.md
std.prelude		std.prelude

License

mfkiwl/HOL

Folders and files

Latest commit

History

Repository files navigation

About

Resources

License

Stars

Watchers

Forks

Languages