Skip to content

veritas: Don't use forall as binding name

Ben Gamari requested to merge wip/veritas-no-forall into master

As it is now a keyword.

Merge request reports