Mizar Light for HOL Light (2001)

Cached

Download Links

by Freek Wiedijk
Venue:Theorem Proving in Higher Order Logics: TPHOLs 2001, LNCS 2152
Citations:9 - 3 self