Skip to content

Strengthen W.is_closed_correct.

Dan Frumin requested to merge dfrumin/iris-coq:Wclosed into master

We use the W reification in some other projects, and the stronger version of is_closed_correct is helpful there.

Merge request reports