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

by Markus Wenzel
Citations:81 - 16 self

Active Bibliography

7 Computer-Assisted Mathematics at Work -- The Hahn-Banach Theorem in Isabelle/Isar – Gertrud Bauer, Markus Wenzel - 2000
18 Isabelle/Isar -- a generic framework for human-readable proof documents – Makarius Wenzel - 2007
14 A Proof Planning Framework for Isabelle – Lucas Dixon - 2005
Types for Proofs and Programs – Bernd Grobauer - 1999
8 A Comparison of Mizar and Isar – Markus Wenzel, Freek Wiedijk - 2002
10 A Comparison of the Mathematical Proof Languages Mizar and Isar – Markus Wenzel, Freek Wiedijk - 2002
33 The Isabelle/Isar Reference Manual – Markus Wenzel - 2007
5 A proof-centric approach to mathematical assistants – Lucas Dixon, Jacques Fleuriot - 2005
42 Inductive datatypes in HOL - lessons learned in Formal-Logic Engineering – Stefan Berghofer, Markus Wenzel - 1999
α The Isabelle/Isar Reference Manual – Makarius Wenzel, Clemens Ballarin, Stefan Berghofer, Jasmin Blanchette, Timothy Bourke, Lukas Bulwahn, Amine Chaieb, Lucas Dixon, Florian Haftmann, Brian Huffman, Gerwin Klein, Er Krauss, Tobias Nipkow, Lars Noschinski, David Von Oheimb Larry Paulson, Christian Sternagel
14 Calculational Reasoning Revisited -- An Isabelle/Isar experience – Gertrud Bauer, Markus Wenzel - 2001
13 Verified Lexical Analysis – Tobias Nipkow - 1998
6 Tool Support for Logics of Programs – Lawrence C. Paulson - 1996
28 Experiments on supporting interactive proof using resolution – Jia Meng, Lawrence C. Paulson
35 Locales: A sectioning concept for Isabelle – Florian Kammüller, Markus Wenzel, Lawrence C. Paulson - 1999
22 Taclets: A New Paradigm for Constructing Interactive Theorem Provers – Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer, Steffen Schlager - 2004
2 On Theorem Prover-based Testing – Achim D. Brucker, Burkhart Wolff - 2012
Mechanising Hilbert’s Foundations of Geometry in Isabelle – Phil Scott
6 Isabelle’s Logics: HOL – Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel - 2008