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

At: assert iff btrue 1
1. P:
2. P

P = true
By:
BoolInd 1
THEN
Rewrite (HigherC assert_evalC) -1
Generated subgoals:

None

About:
boolbtrueassertequal

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