Merge Requests · Iris / Iris · GitLab

Remove `contractive_ne` and `contractive_proper` as instances.

!455 · opened May 27, 2020 by Robbert
- 4
updated May 29, 2020
Improve framing below modalities

!450 · opened May 25, 2020 by Robbert
- 0
updated May 25, 2020
WIP: Port proofmode to use more efficient bytes type

!446 · opened May 16, 2020 by Tej Chajed
- 2
updated May 18, 2020
WIP: add sections for ASCII notations

!426 · opened Apr 15, 2020 by Paolo G. Giarrusso
- 3
updated May 08, 2020
WIP: Generic union, disjoint union CMRAs for sets.

!381 · opened Feb 23, 2020 by David Swasey S-waiting-for-author
- 1
- 28
updated Apr 01, 2020
WIP: Add lemmas about local updates of lists

!371 · opened Feb 06, 2020 by Dmitry Khalanskiy S-waiting-for-author
- 49
updated Apr 14, 2020
Implement CMRA via an isomorphism to another CMRA

!348 · opened Dec 15, 2019 by Tej Chajed S-waiting-for-author
- 36
updated May 08, 2020
WIP: Documentation on Iris equalities

!300 · opened Aug 09, 2019 by Paolo G. Giarrusso S-waiting-for-author
- 63
updated Apr 16, 2020