Skip to content

Fix some typos in Section 9.2 (Boxes) in the docs.

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

I've noticed that there are some minor typos in Section 9.2 in iris.pdf; I've changed it in accordance with the source code (base_logic/lib/boxes.v).

Merge request reports