HOL


  • This is the distribution directory for the Kananaskis release of HOL4. See http://hol-theorem-prover.org for online resources.