test_tptp.ml 4.37 KB