(6steps) PrintForm Definitions bool 2 jlc Sections Support(jlc) Doc

At: not assert iff bfalse 1
1. P:
2. P

P = false
By:
BoolInd 1
THEN
Rewrite (HigherC assert_evalC) -1
Generated subgoal:

11. True
true = false

About:
boolbfalsebtrueassertequal

(6steps) PrintForm Definitions bool 2 jlc Sections Support(jlc) Doc