PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011

Pascal Fontaine Aaron Stump PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, Wrocław, Poland, August 1, 2011 PxTP 2011 https://pxtp2011.loria.fr/PxTP2011.pdf db/conf/pxtp/pxtp2011.html