Skip to content

Seal big_sepM2

Michael Sammler requested to merge msammler/iris-coq:seal_big_opM into master

This MR seals big_sepM2 as discussed here: #282 (closed)

Merge request reports