English CADE ATP System Competition Cited by user Citation bot on 07 Dec 2019 The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical logic CASC is associated with the Conference on Automated…