Isar -- a Generic Interpretative Approach to Readable Formal Proof Documents (1999)

by Markus Wenzel
Citations:85 - 16 self

Documents Related by Co-Citation

433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002
87 An Overview of the MIZAR Project – Piotr Rudnicki - 1992
597 Untersuchungen über das logische Schließen – G Gentzen - 1935
879 A formulation of the simple theory of types – A Church - 1940
760 Types and Programming Languages – Benjamin C Pierce - 2002
548 A Computational Logic – R S Boyer, J S Moore - 1979
541 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.” Cambridge – M J C Gordon, T F Melham - 1993
474 Literate programming – Donald E. Knuth - 1984