_CoqProject · a90a8e99a1ce7b4dbc4ea68cb389a1d8fbb896f2 · Michael Sammler / iris-coq · GitLab

Snippets Groups Projects

Forked from Iris / Iris

2543 commits behind the upstream repository.

8 years ago
a90a8e99
CMRA structure on gsets that avoids the indirection via maps. · a90a8e99
Robbert Krebbers authored 8 years ago
```
Also, add algebra/gset to _CoqProject.
```
a90a8e99

History
CMRA structure on gsets that avoids the indirection via maps.
Robbert Krebbers authored 8 years ago
```
Also, add algebra/gset to _CoqProject.
```