Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for atp-0.1.0.0 candidate source tarball
atp-0.1.0.0/src/
ATP.hs
ATP/
Error.hs
FOL.hs
Prove.hs
Prover.hs
Codec/
TPTP.hs
FirstOrder/
Alpha.hs
Conversion.hs
Core.hs
Derivation.hs
Occurrence.hs
Simplification.hs
Smart.hs
Internal/
Enumeration.hs
Pretty/
FOL.hs