Proceedings Fourth Workshop on Proof eXchange for Theorem Proving

DOI10.4204/EPTCS.186MaRDI QIDQ5088085zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 4 July 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?PxTP2015

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)

Recommendations

• scientific article; zbMATH DE number 7552934
• Proceedings of the seventh workshop on proof eXchange for theorem proving, Pittsburg, USA, July 11, 2021
• Proceedings Sixth Workshop on Proof eXchange for Theorem Proving
• scientific article; zbMATH DE number 7552938
• Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications
• scientific article; zbMATH DE number 7552940
• Workshop on Proof search in type-theoretic languages (in conjunction with CADE-15 conference), Lindau, Germany, July 5, 1998
• scientific article; zbMATH DE number 6513118
• scientific article; zbMATH DE number 7552941
• Invited papers presented at the conference on proof theory, provability logic, and computation, 20-24 March 1994, Berne, Switzerland

Cited in

(6)

• Proceedings of the seventh workshop on proof eXchange for theorem proving, Pittsburg, USA, July 11, 2021
• FoCaLiZe and Dedukti to the rescue for proof interoperability
• Aligning concepts across proof assistant libraries
• Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13--14, 2013
• \textsf{LOGIC}: a Coq library for logics
• αCheck: A mechanized metatheory model checker

This page was built for publication: Proceedings Fourth Workshop on Proof eXchange for Theorem Proving

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