Hint-Based SMT Proof Reconstruction
Open Access
- 16 April 2026
- book chapter
- Published by Springer Nature
- p. 255-275
Abstract
No abstract availableKeywords
All Related Versions
This publication has 26 references indexed in Scilit:
- Exploiting Instantiations from Paramodulation Proofs in Isabelle/HOL2025
- Lean-Auto: An Interface Between Lean 4 and Automated Theorem Provers2025
- lean-smt: An SMT Tactic for Discharging Proof Goals in Lean2025
- Extending a High-Performance Prover to Higher-Order Logic2023
- Flexible Proof Production in an Industrial-Strength SMT Solver2022
- cvc5: A Versatile and Industrial-Strength SMT Solver2022
- Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant2021
- Making Higher-Order Superposition Work2021
- Z3: An Efficient SMT Solver2008
- Source-Level Proof Reconstruction for Interactive Theorem Proving2007