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

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

P
By:
BoolInd 1
THEN
Rewrite assert_evalC 0
THEN
Try Trivial
Generated subgoal:

11. false = true
False

About:
boolbtrueassertequalfalse

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