heap_lang/lib/barrier/proof.v · 6d038c53f6d8fb5fa70ad8552fa9f6061fb30802 · Michael Sammler / iris-coq · GitLab

Snippets Groups Projects

Forked from Iris / Iris

3856 commits behind the upstream repository.

8 years ago
6d038c53
Use simpl to get rid of some %V scopes delimiters go away. · 6d038c53
Robbert Krebbers authored 8 years ago
```
NB: these scopes delimiters were already there before Janno's a0067662.
```
6d038c53

History
Use simpl to get rid of some %V scopes delimiters go away.
Robbert Krebbers authored 8 years ago
```
NB: these scopes delimiters were already there before Janno's a0067662.
```