@hackage logic-TPTP dependencies

10 results