Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
The development now corresponds exactly to the FoSSaCS 2013 paper. Also, the prelude is updated to the one of the master branch.
Robbert Krebbers authoredThe development now corresponds exactly to the FoSSaCS 2013 paper. Also, the prelude is updated to the one of the master branch.
