Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This makes it easier to frame or introduce some modalities before introducing universal quantifiers.
Robbert Krebbers authoredThis makes it easier to frame or introduce some modalities before introducing universal quantifiers.