Forked from
Iris / Iris
4173 commits behind the upstream repository.
-
Robbert Krebbers authored
Now that we have the plain modality, we can get rid of the basic updates in the soundness statement.
Robbert Krebbers authoredNow that we have the plain modality, we can get rid of the basic updates in the soundness statement.
