Sebastiaan Joosten (Technical University of Eindhoven/Radboud University Nijmegen) |
Cezary Kaliszyk (University of Innsbruck) |
Josef Urban (Radboud University Nijmegen) |
This paper reports our initial experiments with using external ATP on some corpora built with the ACL2 system. This is intended to provide the first estimate about the usefulness of such external reasoning and AI systems for solving ACL2 problems. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.152.6 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |