Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
This is more consistent with the proofmode, where we also call it pure.
Robbert Krebbers authoredThis is more consistent with the proofmode, where we also call it pure.
