Project 'FP/iris-coq' was moved to 'iris/iris'. Please update any links and bookmarks that may still have the old path.

Iris

Ralf Jung authored 8 months ago

Add lemmas for big_opS and gmap singletons

See merge request !1049

426f2d2e