PrintForm Definitions myhill nerode Sections AutomataTheory Doc

At: assert iff eq 1 2

1. a:
2. b:

(a b) (a = b)

By: Analyze 0

Generated subgoal:

13. a = b
a b


About:
assertequalbool