Data.Logic.ATP.Quantified
data Quant
class IsQuantified formula
for_all
(∀)
exists
(∃)
precedenceQuantified
associativityQuantified
prettyQuantified
showQuantified
zipQuantified
convertQuantified
onatomsQuantified
overatomsQuantified
data QFormula v atom