Reconstruction of SMT proofs with Lambdapi
- 23 February 2026
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 63 (1) , 8
Abstract
No abstract availableKeywords
Funding Information
- Agence Nationale de la Recherche (ANR-21- -CE25-0015-01)
- Agence Nationale de la Recherche (ANR-21- -CE25-0015-01)
- Agence Nationale de la Recherche (ANR-21- -CE25-0015-01)
This publication has 23 references indexed in Scilit:
- Encoding $\textrm{TLA}^{+}$ Proof Obligations Safely for SMT2023
- Carcara: An Efficient Proof Checker and Elaborator for SMT Proofs in the Alethe Format2023
- Flexible Proof Production in an Industrial-Strength SMT Solver2022
- Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant2021
- veriT: An Open, Trustable and Efficient SMT-Solver2009
- The Specification Language TLA+2007
- Fast Reflexive Arithmetic Tactics the Linear Case and Beyond2007
- Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo2007
- On the Implementation of Construction Functions for Non-free Concrete Data Types2007
- Proving Equalities in a Commutative Ring Done Right in Coq2005