Proceedings Fourth Workshop on Proof eXchange for Theorem Proving
DOI10.4204/EPTCS.186zbMATH Open1490.68019OpenAlexW2268050024WikidataQ108482159 ScholiaQ108482159MaRDI QIDQ5088085FDOQ5088085
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
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
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 (6)
- \textsf{LOGIC}: a Coq library for logics
- Proceedings of the seventh workshop on proof eXchange for theorem proving, Pittsburg, USA, July 11, 2021
- 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
- αCheck: A mechanized metatheory model checker
- FoCaLiZe and Dedukti to the rescue for proof interoperability
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)
