Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL.

Hanna Lachnitt, Mathias Fleury, Haniel Barbosa, Jibiana Jakpor, Bruno Andreotti, Andrew Reynolds, Hans-Jrg Schurr, Clark W. Barrett, Cesare Tinelli

Browse the full ITP paper archive.