Automatically Translating Proof Systems for SMT Solvers to the λΠ-Calculus [pdf]ciaran-matthew-dunne.github.io·1 pts·finalcoalgebra·1