Initial experiments with TPTP-style automated theorem provers on ACL2 problems

DOI10.4204/EPTCS.152.6MaRDI QIDQ6589549zbMATH OpenFDO

Authors Sebastiaan J. C. Joosten, Cezary Kaliszyk, Josef Urban

Publication date 19 August 2024

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• TPTP, TSTP, CASC, etc.
• The TPTP problem library
• MPTP 0.2: Design, implementation, and initial experiments
• MPTP-motivation, implementation, first experiments
• Evaluation of automated theorem proving on the Mizar mathematical library

This page was built for publication: Initial experiments with TPTP-style automated theorem provers on ACL2 problems

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