Validation of HOL Proofs by Proof Checking

• 1 January 1999
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 14  (2) , 193-212
• https://doi.org/10.1023/a:1008643803725

Abstract

Keywords

• CHECKER
• PROOF CHECKING
• CONSISTENCY
• EXTREMELY
• FORMAL
• MECHANISED
• HOL
• THEOREM
• THOUSANDS
• CHECKED