Brandon Rozek 2b3a0ef47c TPTP Examples		2023-03-27 11:01:47 -04:00
..
e_graph.sh	TPTP Examples	2023-03-27 11:01:47 -04:00
vampire_ce.sh	TPTP Examples	2023-03-27 11:01:47 -04:00
vampire_qa.sh	TPTP Examples	2023-03-27 11:01:47 -04:00