Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Let `iRevert` of a pure hypotheses generate a wand instead of implication. See merge request iris/iris!789
Robbert Krebbers authoredLet `iRevert` of a pure hypotheses generate a wand instead of implication. See merge request iris/iris!789
