Resource Type:
Code
License:
BSD License
Language:
Data Format:
Description
HOL4 is the latest version of the HOL interactive proof assistant for higher order logic: a programming environment in which theorems can be proved and proof tools implemented.
Categorized in: Representation and Reasoning | Automated Theorem Proving
Post comment
Cancel