A Brief Overview of HOL4.

Konrad Slind Michael Norrish

Published in: TPHOLs (2008)

Keyphrases

theorem prover
formal methods
natural deduction
data sets
high level
similarity measure
theorem proving