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

PxTP-2011 First Workshop on Proof eXchange for Theorem Proving


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