HOL is a programming environment that enables the proof of theorems and implementation of proof tools.
Downloading HOL ...
If the download does not start automatically, please click here.
Our system has scanned the download for viruses, and we suggest that you also check the files before installation. The version of HOL you are about to download is 4, and the download will be provided as is, with no modifications or changes made on our end.