Skip to content

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

Notifications You must be signed in to change notification settings

aravantv/HOL

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

This is the distribution directory for the Kananaskis release of HOL4.
See http://hol.sourceforge.net 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

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

Resources

Stars

Watchers

Forks

Packages

 
 
 

Languages

  • Standard ML 91.5%
  • OCaml 5.0%
  • Common Lisp 1.9%
  • C 0.7%
  • Java 0.4%
  • C++ 0.3%
  • Other 0.2%