Forked from
Iris / Iris
3613 commits behind the upstream repository.
-
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.
