Skip to content

Fix typo in definition of weakest pre in documentation.

Joseph Tassarotti requested to merge jtassaro/iris-coq:patch-1 into master

In the value case, it should say that the post-condition applied to the value holds, right?

Merge request reports