Definitions formula equality ClassicalProps(jlc) Doc

Defined Operators mentioned in formula equality (and any they in turn depend on)

DefFormula[Formula]formula
DefDiscrete{T}[discrete]discrete jlc
DefDec(P)[decidable]core
Defx:A. B(x)[all]core
DefVar[Var]var jlc
DefA[not]core

About:
productdecidableatomunionfunctionrec
equalimpliesorfalseall

Definitions formula equality ClassicalProps(jlc) Doc