Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems
Authors: Sebastiaan Joosten, Cezary Kaliszyk and Josef Urban
Paper Information
| Title: | Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems |
| Authors: | Sebastiaan Joosten, Cezary Kaliszyk and Josef Urban |
| Proceedings: | ACL2 2014 Proceedings |
| Editors: | Freek Verbeek and Julien Schmaltz |
| Keywords: | Automated Theorem Proving, ACL2, TPTP |
| Abstract: | ABSTRACT. We present first experiments with translating ACL2 problems to TPTP and running TPTP-style ATPs on such problems. |
| Pages: | 9 |
| Talk: | Jul 12 10:45 |
| Paper: |  |