A Brief Overview of HOL4

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-540-71067-7_6 ◽

2008 ◽

pp. 28-32 ◽

Author(s):

Konrad Slind ◽

Michael Norrish

Download Full-text