Skip to main content

PxTP-2011 First Workshop on Proof eXchange for Theorem Proving