implement ranged quantifiers
-
forallr -
existsr
Possibly also look into allowing a custom quantifier.
forallr
existsr
Possibly also look into allowing a custom quantifier.
added feature label
closed via commit 152dbe6e
forallr as completed marked the checklist item forallr as completed
existsr as completed marked the checklist item existsr as completed