Abstract
The CADE ATP system competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-21 was the twelfth competition in the CASC series. Twent...
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have