Forked from
Iris / stdpp
2581 commits behind the upstream repository.
Name | Last commit | Last update |
---|---|---|
theories |
The singleton maps notation is now also more consistent with the insert <[_ := _]> _ notation for maps.
Name | Last commit | Last update |
---|---|---|
theories |