HOL theorem prover

[Google Scholar] [Wikipedia]

Is a kind of: interactive theorem prover
Papers: gordon:book:1993

  • Experience with embedding hardware description languages in HOL [boulton:tpcd:1993]
  • Introduction to HOL: A Theorem Proving Environment for Higher Order Logic [gordon:book:1993]