Towards Self-verification of HOL Light (2006)

by John Harrison
Venue:In International Joint Conference on Automated Reasoning