A Generic Proof Checker (2001)

Cached

Download Links

by Geoffrey Norman Watson

Active Bibliography

13 Recording and Checking HOL Proofs – Wai Wong - 1995
Representation and Validation of Mechanically Generated Proofs Final Report – Michael J. C. Gordon
unknown title – Joe Hurd - 1999
11 A Comparison of PVS and Isabelle/HOL – David Griffioen, Marieke Huisman - 1998
4 A Proof Checker for HOL – Wai Wong - 1996
A Reference Version of HOL – John Harrison, Konrad Slind
Desiderata for Interactive Verification Systems – Konrad Slind, Christian Prehofer - 1994
26 How to Believe a Machine-Checked Proof – Robert Pollack - 1997
23 Efficiency in a Fully-Expansive Theorem Prover – Richard John Boulton, Richard John Boulton - 1993
16 Towards Self-verification of HOL Light – John Harrison - 2006
Sequent Style Proof Terms for HOL – Tom Ridge
1 The Importance of Proof Maintenance and Reengineering – Paul Curzon - 1995
7 Verification of the MDG Components Library in HOL – Paul Curzon, Sofiène Tahar, Otmane Aït Mohamed, Otmane Ait Mohamed - 1998
Composable Packages for Higher Order Logic Theories – Joe Hurd
9 Proofs, Programs and Executable Specifications in Higher Order Logic – Stefan Berghofer - 2003
2 Dependency Graphs for Interactive Theorem Provers – Yves Bertot, Olivier Pons, Loïc Pottier - 2000
29 A Trustworthy Proof Checker – Andrew W. Appel , Neophytos Michael, Aaron Stump, Roberto Virga - 2002
34 Proof Terms for Simply Typed Higher Order Logic – Stefan Berghofer, Tobias Nipkow - 2000
4 OpenTheory: Package Management for Higher Order Logic Theories – Joe Hurd