@hackage tptp versions

7 results