theories/streams.v · 6aba4a3fe96dab179890ab9a7073cbea4238963e · Iris / stdpp · GitLab

Snippets Groups Projects

6 years ago
6aba4a3f
Notations `=@{A}` and `≡@{A}` for being explicit about the type of (setoid) equality. · 6aba4a3f
Robbert Krebbers authored 6 years ago
```
This followed from discussions in https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/134
```
6aba4a3f

History
Notations `=@{A}` and `≡@{A}` for being explicit about the type of (setoid) equality.
Robbert Krebbers authored 6 years ago
```
This followed from discussions in https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/134
```

streams.v 2.19 KiB