PxTP-2011 First Workshop on Proof eXchange for Theorem Proving


Different Automated Theorem Proving (ATP) systems solve different parts of different problems in different ways.