Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
See the discussion at https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/116.
Robbert Krebbers authoredSee the discussion at https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/116.
