Project 'janno/iris-coq' was moved to 'janno/iris'. Please update any links and bookmarks that may still have the old path.
Add list_to_map_app
1 unresolved thread
1 unresolved thread
Compare changes
+ 8
− 1
@@ -2227,7 +2227,14 @@ Lemma foldr_delete_union {A} (m1 m2 : M A) is :