PropLogicCore

Propositional formulas

data PropForm a

Parsing propositional formulas on string atoms

stringToProp

Propositional algebras

class PropAlg a p