Browse by author - PxTP 2011 First Workshop on Proof eXchange for Theorem Proving Access content directly