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

At: not assert iff bfalse 2 1
1. P:
2. P = false
3. P

False
By:
HypSubst 2 3
THEN
Rewrite (HigherC assert_evalC) 3
THEN
Trivial
Generated subgoals:

None

About:
boolbfalseassertequalfalse

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