Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Also, specialize the big ops to gmap and gset because that is all that we are using. For the big ops on sets this also means we can use Leibniz equality on sets.
Robbert Krebbers authoredAlso, specialize the big ops to gmap and gset because that is all that we are using. For the big ops on sets this also means we can use Leibniz equality on sets.
