AVATAR: The Architecture for First-Order Theorem Provers
No abstract available.
Related papers
- Using First-Order Theorem Provers in the Jahob Data Structure Verification System VMCAI 2007
- Meta-level features in an industrial-strength theorem prover POPL 2012
- A verified prover based on ordered resolution CPP 2019
- Separation logic + superposition calculus = heap theorem prover PLDI 2011
- A Lambda-Superposition Tactic for Isabelle/HOL CPP 2026
- Extending a Brainiac Prover to Lambda-Free Higher-Order Logic TACAS 2019
- Improving automation in interactive theorem provers by efficient encoding of lambda-abstractions CPP 2016
- Functional Design and Implementation of Graphical User Interfaces for Theorem Provers JFP 1999