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

At: assert of bool eq bfalse false 1
1. b:

b b=false = false
By: BoolInd -1
Generated subgoals:

1 true true=false = false
2 false false=false = false

About:
boolbfalsebtrueassertequal

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