Topic summary
CADE ATP System Competition
The CADE ATP System Competition (CASC) is an annual competition of fully automated theorem provers for classical logic.
Topic summary
The CADE ATP System Competition (CASC) is an annual competition of fully automated theorem provers for classical logic.