OpenTheory: Package Management for Higher Order Logic Theories

by Joe Hurd
Citations:4 - 3 self

Documents Related by Co-Citation

69 HOL Light: A tutorial introduction – John Harrison - 1996
51 First-order proof tactics in higher-order logic theorem provers – Joe Hurd - 2003
13 A thread of HOL development – Michael Norrish, Konrad Slind
731 Isabelle/HOL: a proof assistant for higher-order logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
10 Importing HOL into Isabelle/HOL – Steven Obua, Sebastian Skalberg - 2006
34 Proof Terms for Simply Typed Higher Order Logic – Stefan Berghofer, Tobias Nipkow - 2000
14 Recording and Checking HOL Proofs – Wai Wong - 1995
31 A fascinating country in the world of computing: your guide to automated reasoning – Larry Wos, Gail W Pieper - 1999
112 Paramodulation-Based Theorem Proving – Robert Nieuwenhuis, Albert Rubio - 1999
33 An LCF-style interface between HOL and first-order logic – Joe Hurd - 2002
60 A few billion lines of code later: using static analysis to find bugs in the real world – A Bessey, K Block, B Chelf, A Chou, B Fulton, S Hallem, C Henri-Gros, A Kamsky, S McPeak, D Engler - 2010
1 ProofPower manuals – R Arthan - 2004
1 T.: Validating QBF validity in HOL4 – R Kumar, Weber
1 Proving valid quantified boolean formulas – O Kunčar
10 The MathServe System for Semantic Web Reasoning Services – Jürgen Zimmer, Serge Autexier - 2006
8 Partial and nested recursive function definitions in higher-order logic – A Krauss
10 The TPTP World–Infrastructure for automated reasoning – G Sutcliffe - 2010
3 Automatic Proof and Disproof in Isabelle/HOL – Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow - 2011
17 The Isabelle Framework – Makarius Wenzel, Lawrence C. Paulson, Tobias Nipkow - 2008