Practical Proof Reconstruction for First-Order Logic and Set-Theoretical Constructions

Clément Hurlin, Amine Chaieb, Pascal Fontaine, Stephan Merz, and Tjark Weber. In Lucas Dixon and Moa Johansson, editors, Proceedings of the Isabelle Workshop 2007, pages 2-13, Bremen, Germany, July 2007.

BibTeX

@inproceedings{hurlin07practical,
  author    = {Cl{\'e}ment Hurlin and Amine Chaieb and Pascal Fontaine and Stephan Merz and Tjark Weber},
  title     = {Practical Proof Reconstruction for First-Order Logic and Set-Theoretical Constructions},
  editor    = {Lucas Dixon and Moa Johansson},
  booktitle = {Proceedings of the Isabelle Workshop 2007},
  pages     = {2--13},
  address   = {Bremen, Germany},
  month     = jul,
  year      = {2007}
}