2 papers
cs.LO2026
Hint-Based SMT Proof Reconstruction
Joshua Clune, Haniel Barbosa, Jeremy Avigad
There are several paradigms for integrating interactive and automated theorem provers, combining the convenience of powerful automation with strong soundness guarantees. We introdu…
cs.LO2025
Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
Haniel Barbosa, Christophe Ringeissen
This volume contains the proceedings of the 20th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2025), which was held in Brasilia, the capital of Brazil, from…