Logic-Free Reasoning in Isabelle/Isar

DOI10.1007/978-3-540-85110-3_31zbMath1166.68337OpenAlexW2128719764MaRDI QIDQ5505517

Makarius Wenzel, Stefan Berghofer

Publication date: 27 January 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85110-3_31

Mathematics Subject Classification ID

Related Items (3)

CryptHOL: game-based proofs in higher-order logic ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ The Isabelle Framework

Uses Software

• Isabelle
• Isabelle/Isar
• Isar

Cites Work

• The foundation of a generic theorem prover
• Untersuchungen über das logische Schliessen. II
• A comparison of Mizar and Isar
• Interpretation of Locales in Isabelle: Theories and Proof Contexts
• Unnamed Item

This page was built for publication: Logic-Free Reasoning in Isabelle/Isar