OpenTheory: Package Management for Higher Order Logic Theories

View PDF

Download Links

by Joe Hurd
Citations:6 - 3 self

Documents Related by Co-Citation

795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
541 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.” Cambridge – M J C Gordon, T F Melham - 1993
71 HOL Light: A tutorial introduction – John Harrison - 1996
295 Symbolic Model Checking Using SAT Procedures instead of BDDs – A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, Y. Zhu - 1999
243 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
85 Engineering formal metatheory – Brian Aydemir, Randy Pollack - 2008
205 Reflections on Standard ML – David B. MacQueen - 1992
51 First-order proof tactics in higher-order logic theorem provers – Joe Hurd - 2003
37 Proof Terms for Simply Typed Higher Order Logic – Stefan Berghofer, Tobias Nipkow - 2000