Data.Logic.ATP.Formulas

class IsAtom atom

class IsFormula formula

(⊥)

(⊤)

fromBool

prettyBool

atom_union