Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
Also, I removed the @ from lookup_weaken since the Coq bug we experienced before somehow disappeared.
Robbert Krebbers authoredAlso, I removed the @ from lookup_weaken since the Coq bug we experienced before somehow disappeared.
