CASC

CASC (CADE ATP System Competition, gdzie ATP to Automated Theorem Proving) to najważniejsze zawody systemów automatycznego dowodzenia twierdzeń organizowane w ramach konferencji CADE.Programy dostają do rozwiązanie problemy z biblioteki TPTP, przy czym wygrywa program który rozwiąże ich najwięcej w najkrótszym czasie.Zawody odbywają się w kilkunastu teoria_kategorii .php'>kategoriach różniących się rodzajami problemów, zależnie od takich kwestii jak: