Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
In order to do that, we need to quantify over non-expansive predicates instead of arbitrary predicates.
Robbert Krebbers authoredIn order to do that, we need to quantify over non-expansive predicates instead of arbitrary predicates.
