Automatically Translating Proof Systems for SMT Solvers to the λΠ-Calculus [pdf]

(ciaran-matthew-dunne.github.io) by finalcoalgebra | Feb 23, 2026 | 1 comments on HN