logic-classes-1.5.2: Framework for propositional and first order logic, theorem proving
Data.Logic.Types.Common