program_logic/invariants.v · 46cf36776bab266fb523fa3ce8131239fb9228fb · Tej Chajed / iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
51b15fdc
No longer break now_True abstraction. · 51b15fdc
Robbert Krebbers authored 8 years ago
```
And make it Typeclasses Opaque to ensure that we indeed do not do
so using the proof mode.
```
51b15fdc

History
No longer break now_True abstraction.
Robbert Krebbers authored 8 years ago
```
And make it Typeclasses Opaque to ensure that we indeed do not do
so using the proof mode.
```