Proceedings of the seventh workshop on proof eXchange for theorem proving, Pittsburg, USA, July 11, 2021

DOI10.4204/EPTCS.336zbMATH Open1489.68024OpenAlexW3177773655MaRDI QIDQ5082009FDOQ5082009

Authors:

Publication date: 19 June 2022

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/content.cgi?PxTP2021

Recommendations

• Proceedings Fourth Workshop on Proof eXchange for Theorem Proving
• FoCaLiZe and Dedukti to the rescue for proof interoperability
• MPTP-motivation, implementation, first experiments
• Information-intensive proof technology
• MPTP 0.2: Design, implementation, and initial experiments

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (3)

• Proceedings Fourth Workshop on Proof eXchange for Theorem Proving
• FoCaLiZe and Dedukti to the rescue for proof interoperability
• Proceedings of the 7th workshop on user interfaces for theorem provers (UITP 2006), Seattle, WA, USA, August 21, 2006

This page was built for publication: Proceedings of the seventh workshop on proof eXchange for theorem proving, Pittsburg, USA, July 11, 2021

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5082009)