[CEUR Workshop Proceedings] Vol-878
urn:nbn:de:0074-878-8

Copyright © 2012 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.





PxTP 2012
Proof Exchange for Theorem Proving


Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving

Manchester, UK, June 30, 2012.


Edited by

David Pichardie *
Tjark Weber **

* Inria Rennes, France
** Uppsala University, Sweden





Table of Contents

Invited Talks

Contributed Papers


The whole proceedings can also be downloaded as a single file (PDF).
30-Jul-2012: submitted by Tjark Weber
30-Jul-2012: published on CEUR-WS.org