Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for tptp-0.1.2.0 candidate source tarball
tptp-0.1.2.0/test-data/tstp/cnf/
AGT004+2---SNARK---20120808r022.THM-Ref.s
AGT004+2---SPASS---3.9.THM-Ref.s
ALG028+1---SPASS---3.9.THM-Ref.s