The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
Make notation for pure and plainly affine
I think the notation for embedded Coq assertions and for plainly should include an affinely modality -- that way, one can just always use * and -* even when working in linear Iris.