Skip to content

Implement CMRA via an isomorphism to another CMRA

Tej Chajed requested to merge tchajed/iris-coq:cmra-iso into master

Analogously to iso_cofe, implement iso_cmra to construct a cmraT across an isomorphism.

Fixes #253 (closed).

Merge request reports