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/szs/
fof/
AGT004+2---Metis---2.4.THM-CRf.original.s
ALG043+1---Vampire---4.3.THM-Ref.original.s
group-theory---E.s
group-theory---Vampire.s
syllogism---E.s
syllogism---Vampire.s
tff/
AGT004+2---Z3---4.4.1.THM-Prf.original.s
ALG039+1---Z3---4.4.1.THM-Prf.original.s