logic-classes-1.4.8: Framework for propositional and first order logic, theorem proving
Data.Logic.Harrison.PropExamples
data Atom a Source
Constructors
Instances
type N = IntSource
prime :: forall formula. (PropositionalFormula formula (Atom N), Ord formula) => N -> formulaSource
ramsey :: forall formula. (PropositionalFormula formula (Atom N), Ord formula) => Int -> Int -> N -> formulaSource
tests :: TestSource