OpenTheory: Package Management for Higher Order Logic Theories

by Joe Hurd
Citations:4 - 3 self

Documents Related by Co-Citation

70 HOL Light: A tutorial introduction – John Harrison - 1996
50 First-order proof tactics in higher-order logic theorem provers – Joe Hurd - 2003
11 A thread of HOL development – Michael Norrish, Konrad Slind
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
35 Proof Terms for Simply Typed Higher Order Logic – Stefan Berghofer, Tobias Nipkow - 2000
15 Recording and Checking HOL Proofs – Wai Wong - 1995
10 Importing HOL into Isabelle/HOL – Steven Obua, Sebastian Skalberg - 2006
31 A fascinating country in the world of computing: your guide to automated reasoning – Larry Wos, Gail W Pieper - 1999
32 An LCF-style interface between HOL and first-order logic – Joe Hurd - 2002
114 Paramodulation-Based Theorem Proving – Robert Nieuwenhuis, Albert Rubio - 1999
56 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
30 Reasoning about Terminating Functional Programs – Konrad Slind - 1999
7 HOL Light: An overview – John Harrison - 2009
12 Efficiently checking propositional refutations in HOL theorem provers – T Weber, H Amjad
10 The MathServe System for Semantic Web Reasoning Services – Jürgen Zimmer, Serge Autexier - 2006
6 An Evidential Tool Bus – John Rushby - 2005