Data.Logic.ATP

Documentation

module Data.Logic.ATP.Lib

module Data.Logic.ATP.Pretty

module Data.Logic.ATP.Formulas

module Data.Logic.ATP.Lit

module Data.Logic.ATP.Prop

module Data.Logic.ATP.PropExamples

module Data.Logic.ATP.DefCNF

module Data.Logic.ATP.DP

module Data.Logic.ATP.Term

module Data.Logic.ATP.Apply

module Data.Logic.ATP.Equate

module Data.Logic.ATP.Quantified

module Data.Logic.ATP.Parser

module Data.Logic.ATP.FOL

module Data.Logic.ATP.Skolem

module Data.Logic.ATP.Herbrand

module Data.Logic.ATP.Unif

module Data.Logic.ATP.Tableaux

module Data.Logic.ATP.Resolution

module Data.Logic.ATP.Prolog

module Data.Logic.ATP.Meson

module Data.Logic.ATP.Equal

module Text.PrettyPrint.HughesPJClass

module Test.HUnit