The following pages link to Makarius Wenzel (Q287364):
Displaying 24 items.
- Eisbach: a proof method language for Isabelle (Q287365) (← links)
- The Isabelle/Naproche natural language proof assistant (Q2055899) (← links)
- CICM'21 systems entries (Q2128833) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Interaction with formal mathematical documents in Isabelle/PIDE (Q2287890) (← links)
- Relational data across mathematical libraries (Q2287899) (← links)
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (Q2843015) (← links)
- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems (Q2843039) (← links)
- An Isabelle Proof Method Language (Q2879265) (← links)
- Asynchronous User Interaction and Tool Integration in Isabelle/PIDE (Q2879273) (← links)
- Isabelle/jEdit – A Prover IDE within the PIDE Framework (Q2907353) (← links)
- Building Formal Method Tools in the Isabelle/Isar Framework (Q3523187) (← links)
- The Isabelle Framework (Q3543647) (← links)
- Constructive Type Classes in Isabelle (Q3612442) (← links)
- Local Theory Specifications in Isabelle/Isar (Q3638251) (← links)
- Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit (Q5170238) (← links)
- Isabelle as Document-Oriented Proof Assistant (Q5200122) (← links)
- (Q5219926) (← links)
- Shared-Memory Multiprocessing for Interactive Theorem Proving (Q5327360) (← links)
- Context Aware Calculation and Deduction (Q5428257) (← links)
- Logic-Free Reasoning in Isabelle/Isar (Q5505517) (← links)
- Structured Induction Proofs in Isabelle/Isar (Q5756773) (← links)
- (Q5875430) (← links)
- (Q6079227) (← links)
