tptp2whymain.ml 3.44 KB