Forked from
Iris / Iris
Source project has a limited visibility.
-
Robbert Krebbers authored
- Add `Params` instance and `Proper` instances - Use `tc_opaque` to prevent `iFrame`/`iNext` from unfolding - Use `∗-∗` in `iff` lemma to remove `BiAffine`.
Robbert Krebbers authored- Add `Params` instance and `Proper` instances - Use `tc_opaque` to prevent `iFrame`/`iNext` from unfolding - Use `∗-∗` in `iff` lemma to remove `BiAffine`.
