Skip to content

implement ranged quantifiers

  • forallr
  • existsr

Possibly also look into allowing a custom quantifier.

Edited by Ogilvie, D.H. (Duncan)