Nuprl - Pf assert of bool eq bfalse false

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

At: assert of bool eq bfalse false

b:. b b=false = false

By: Analyze 0

Generated subgoal:

1 1. b:
b b=false = false

About:

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