Definitions bool 1 Doc

At: assert functionality wrt bimplies

u,v:. uv {u v}
By:
Unfold `guard` 0
THEN
RepeatMFor 2 (Analyze 0)
THEN
BoolEval
THEN
AbReduce 0
Generated subgoals:

None