Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for atp-haskell-1.10 source tarball
atp-haskell-1.10/
.ghci
.travis.yml
LICENSE.txt
Setup.hs
atp-haskell.cabal
src/
Data/
Logic/
ATP.hs
ATP/
Apply.hs
DP.hs
DefCNF.hs
Equal.hs
Equate.hs
FOL.hs
Formulas.hs
Herbrand.hs
Lib.hs
Lit.hs
LitWrapper.hs
Meson.hs
Parser.hs
ParserTests.hs
Pretty.hs
Prolog.hs
Prop.hs
PropExamples.hs
Quantified.hs
Resolution.hs
Skolem.hs
Tableaux.hs
Term.hs
Unif.hs
tests/
Extra.hs
Main.hs