PxTP

Keyphrases

Publications

2021

volume 336, 2021

Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021. PxTP 336 (2021)

2019

volume 301, 2019

Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019. PxTP 301 (2019)

2017

volume 262, 2017

Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017. PxTP 262 (2017)

2012

Frédéric Besson, Pierre-Emmanuel Cornilleau, Ronan Saillard
Walking through the Forest: Fast EUF Proof-Checking Algorithms. PxTP (2012)
Mathieu Boespflug, Guillaume Burel
CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo. PxTP (2012)
Mathieu Boespflug, Quentin Carbonneaux, Olivier Hermant
The λΠ-calculus Modulo as a Universal Proof Language. PxTP (2012)
Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo
System Feature Description: Importing Refutations into the GAPT Framework. PxTP (2012)
Aaron Stump, Andrew Reynolds, Cesare Tinelli, Austin Laugesen, Harley Eades III, Corey Oliver, Ruoyu Zhang
LFSC for SMT Proofs: Work in Progress. PxTP (2012)
Stephan Merz
Proof System. PxTP (2012)
Robert L. Constable
Proof Assistants and the Dynamic Nature of Formal Theories. PxTP (2012)

volume 878, 2012

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012 PxTP 878 (2012)

2011