First-Order Theorem Proving and Vampire
No abstract available.
Related papers
- The vampire and the FOOL CPP 2016
- A Lambda-Superposition Tactic for Isabelle/HOL CPP 2026
- A verified prover based on ordered resolution CPP 2019
- The Vampire Diary CAV 2025
- ALASCA: Reasoning in Quantified Linear Arithmetic TACAS 2023
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System VMCAI 2007
- On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem ESOP 2020
- Connecting Higher-Order Separation Logic to a First-Order Outside World ESOP 2020