Spec quantifiers (forall, exists)
Quantifiers are explained in the Quantifiers part of the
tutorial. Specifically, forall is explained in forall and
triggers and exists is explained in exists and
choose.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
forall, exists)Quantifiers are explained in the Quantifiers part of the
tutorial. Specifically, forall is explained in forall and
triggers and exists is explained in exists and
choose.