Structured Proofs in Isar/HOL (2003)

by Tobias Nipkow
Venue:Types for Proofs and Programs (TYPES 2002), LNCS 2646
Citations:38 - 7 self

Document Versions

Structured Proofs in Isar/HOL –Tobias Nipkow — 2003 — Types for Proofs and Programs (TYPES 2002), LNCS 2646
Structured Proofs in Isar/HOL –Tobias Nipkow — 2003 — Types for Proofs and Programs (TYPES 2002), LNCS 2646