H
O
L
-
T
P
T
P
ATP_Theory_Export
MaSh_Export_Base
MaSh_Eval
TPTP_Parser
TPTP_Interpret
THF_Arith
TPTP_Proof_Reconstruction
ATP_Problem_Import