Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
No idea why these aren't resolved automatically, for unary predicates they do not seem necesarry.
Robbert Krebbers authoredNo idea why these aren't resolved automatically, for unary predicates they do not seem necesarry.
