Towards Self-verification of HOL Light (2006)

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