• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for atp-0.1.0.0 source tarball

atp-0.1.0.0/

• CHANGELOG.md
• LICENSE
• Setup.hs
• atp.cabal
• 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
• test/
  • Doc/
    • Main.hs
  • Property/
    • Generators.hs
    • Main.hs
    • Modifiers/
      • AlphaEquivalent.hs
      • Simplified.hs
  • Unit/
    • Main.hs