@hackage PropLogic0.9.0.3

Propositional Logic

A system for propositional logic with default and fast instances of propositional algebras.