## Papers related to HOL theorem prover

- 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]

Interesting papers

- 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]

The opinions expressed are my own views and not my employer’s.