tptp topic
List
tptp repositories
benchpress
25
Stars
6
Forks
Watchers
Testing and benchmarking tool for logic-related programs.
dolmen
75
Stars
16
Forks
Watchers
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction