/TPTP-Examples

Example axiom and problem files within the TPTP Format

Primary LanguageOpenEdge ABL

Stargazers