Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Wenzel, Makarius "Markus" - Institut für Informatik, Technische Universität München
Parallel Proof Checking in Isabelle/Isar Makarius Wenzel
Object-Oriented Verification based on Record Subtyping in Higher-Order Logic
On prover interaction and integration with Isabelle/Scala
Logic-free reasoning in Isabelle/Isar Stefan Berghofer and Makarius Wenzel
Inductive datatypes in HOL --lessons learned in Formal-Logic Engineering
Asynchronous processing of proof documents rethinking interactive theorem proving
The languages of Isabelle: Isar, ML, and Scala
Isar --a Generic Interpretative Approach to Readable Formal Proof Documents
Context aware Calculation and Deduction Ring Equalities via Grobner Bases in Isabelle
Shared-Memory Multiprocessing for Interactive Theorem Proving
ObjectOriented Verification based on Record Subtyping in HigherOrder Logic
State Spaces --The Locale Way Norbert Schirmer1,2
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
Isabelle/Isar --a generic framework for human-readable proof documents
Isabelle as Document-oriented Proof Assistant Makarius Wenzel
Efficient Parallel Programming in Poly/ML and Isabelle/ML
Local theory specifications in Isabelle/Isar Florian Haftmann and Makarius Wenzel
Building Formal Method Tools in the Isabelle/Isar Framework
SML with antiquotations embedded into Isabelle/Isar
Structured Induction Proofs in Isabelle/Isar Makarius Wenzel
A comparison of the mathematical proof languages Mizar and Isar
Interactive Proof Documents Theorem Provers for User Interfaces
