tptp2whymain.ml 3.43 KB