[CEUR Workshop Proceedings] Vol-878

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