Towards self-verification of HOL Light (0)

by John Harrison
Venue:In Furbach and Shankar [3