## Introduction to HOL: A Theorem Proving Environment for Higher Order Logic

[ISBN] [Google Scholar] [DBLP] [Citeseer]

Cambridge University Press

New York, NY, USA

1993

Note(s): HOL theorem prover, interactive theorem prover

New York, NY, USA

1993

Note(s): HOL theorem prover, interactive theorem prover