Project 'tchajed/iris-coq' was moved to 'tchajed/iris'. Please update any links and bookmarks that may still have the old path.
Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authoredRobbert Krebbers authored
