Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Thanks to @Blaisorblade, based on https://gitlab.mpi-sws.org/Blaisorblade/iris-coq/commit/0739608d32272ca5679bf504a569b3ddd50c7b29, but applied to similar notations too.
Robbert Krebbers authoredThanks to @Blaisorblade, based on https://gitlab.mpi-sws.org/Blaisorblade/iris-coq/commit/0739608d32272ca5679bf504a569b3ddd50c7b29, but applied to similar notations too.
