Advanced Search Tips

HOL4

Submitted by on Jun 18 2014 Suggest Revision
From: University of Cambridge
Paper:
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.
Post comment
Cancel