Delete Blocked by Coq ?
Blocked by Coq will be permanently deleted from Iris. This cannot be undone.
Heap lang will be permanently deleted from Iris. This cannot be undone.
Infrastructure will be permanently deleted from Iris. This cannot be undone.
Postponed will be permanently deleted from Iris. This cannot be undone.
Proofmode will be permanently deleted from Iris. This cannot be undone.
Wishlist will be permanently deleted from Iris. This cannot be undone.