"tex/iris.sty" did not exist on "e8cc63fe91490a753654ab703bec11e6570796bf"
Forked from
Iris / Iris
Source project has a limited visibility.
-
Paolo G. Giarrusso authored
- And use prop_ext instead of prop_ext_2 in other proofs.
Paolo G. Giarrusso authored- And use prop_ext instead of prop_ext_2 in other proofs.
To find the state of this project's repository at the time of any of these versions, check out the tags.