A brief overview of HOL4 (2008)

by K Slind, M Norrish
Venue:Theorem Proving in Higher Order Logics