vo1stv / hol Goto Github PK

This project forked from hol-theorem-prover/hol

Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

Home Page: https://hol-theorem-prover.org

License: Other

TeX 13.21% PostScript 13.39% Makefile 0.11% Standard ML 68.39% Shell 0.08% Perl 0.08% Perl 6 0.01% CSS 0.01% Lex 0.05% HTML 0.05% C 0.26% C++ 0.52% Isabelle 0.13% OCaml 3.73%

hol's Introduction

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

Recommend Projects