Skip to content

Added a new lemma to allocate fragmented ownership in unital gmaps while…

Jonas Kastberg requested to merge jihgfee/iris-coq:insert_alloc_local_update into master

Added a new lemma to allocate fragmented ownership in unital gmaps while updating the full ownership

Merge request reports