Prover's Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B
No abstract available.
Related papers
- Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk) CPP 2019
- Functional Design and Implementation of Graphical User Interfaces for Theorem Provers JFP 1999
- Safety and conservativity of definitions in HOL and Isabelle/HOL POPL 2018
- A Comprehensive Specification and Verification of the L4 Microkernel API TACAS 2024
- Premise Selection and External Provers for HOL4 CPP 2015
- How to make ad hoc proof automation less ad hoc ICFP 2011
- A modular Isabelle framework for verifying saturation provers CPP 2021
- Efficient Verification of Imperative Programs Using Auto2 TACAS 2018