1. Home
  2. PxTP-2011 First Workshop on Proof eXchange for Theorem Proving

PxTP-2011 First Workshop on Proof eXchange for Theorem Proving


Displaying 1 - 1 of 1
Combining Proofs to form Different Proofs

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

Subscribe to PxTP-2011 First Workshop on Proof eXchange for Theorem Proving