no code implementations • 6 Jun 2014 • Sebastiaan Joosten, Cezary Kaliszyk, Josef Urban
This paper reports our initial experiments with using external ATP on some corpora built with the ACL2 system.