tptp topic

List tptp repositories

benchpress

26
Stars
7
Forks
Watchers

Testing and benchmarking tool for logic-related programs.

verified publisher icon sneeuwballen

dolmen

79
Stars
16
Forks
Watchers

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

verified publisher icon Gbury