Skip to content
Snippets Groups Projects
Forked from Iris / stdpp
Loading
user avatar
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.
3f3ca628
History
Name Last commit Last update