Prioritized labels
Drag to reorder prioritized labels and change their relative priority.
Other labels
A-infra
Iris / Iris
Area: Concerns our CI and perf tracking infrastructure as well as general project setup
T-linear
Iris / Iris
Topic: this concerns specifically linear (non-affine) insteances of the proofmode
Prioritized