Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This avoids ambiguity with P and Q that we were using before for both uPreds/iProps and indexed uPreds/iProps.
Robbert Krebbers authoredThis avoids ambiguity with P and Q that we were using before for both uPreds/iProps and indexed uPreds/iProps.
