Area: this concerns Coq eingeering questions

Area: concerns documentation

Area: Concerns our CI and perf tracking infrastructure as well as general project setup

Area: meta-level Iris discussions

Area: concerns the theory of Iris (and not just the Coq library)

Category: This is a bug we should fix

Category: This is a request for or implementation of a concrete enhancement

Category: A more open-ended project discussion

Category: a user asking for help

Category: a tracking issue for some unstable module

Should be added to the changelog of the next release

A good issue for a first contribution to Iris

Impact: this is related to performance concerns

This issue/MR is blocked on resolving some other issue or merging another MR

Status: issue is blocked by a Coq improvement or bugfix

Status: this is a draft MR; more work by the author and/or reviewer is needed to fully flesh out its design

Status: nominated for discussion at the next meeting

Status: waiting for the MR author to do something

Status: someone is assigned at should look at this

Topic: concerns resource algebras