WhoCites
Definitions
mb
label
Sections
GenAutomata
Doc
NOTE:
This operator coercing a
to a Prop is normally invisible since it is pretty obvious when it is needed.
Who Cites assert?
assert
Def
b == if b
True else False fi
Thm*
b:
. b
Prop
Syntax:
b
has structure:
assert(b)
About:
WhoCites
Definitions
mb
label
Sections
GenAutomata
Doc