Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
Terminology taken from "A Fresh Look at Separation Algebras and Share" by Dockins et al.
Robbert Krebbers authoredTerminology taken from "A Fresh Look at Separation Algebras and Share" by Dockins et al.
