This repository was archived by the owner on Jul 1, 2020. It is now read-only.
404 - page not found
The
master
branch ofprop-pack
does not contain the pathproblems/implication/impl-6.tptp.
master
branch ofprop-pack
does not contain the pathproblems/implication/impl-6.tptp.