C ciaran-matthew-dunne.github.io Automatically Translating Proof Systems for SMT Solvers to the λΠ-Calculus [pdf] 1 points finalcoalgebra 8 months ago 1 comments
