Author:Guillaume Burel

Publications
A Shallow Embedding of Resolution and Superposition Proofs into the $\lambda\Pi$-Calculus Modulo Guillaume Burel In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving