Prioritized Labels

Star labels to start sorting by priority

Other Labels
  • Proofmode
    Bugs related to proofmode
    • Project label
  • Wishlist
    • Project label
  • Blocked by Coq
    • Project label
  • Postponed
    • Project label
  • Infrastructure
    • Project label
  • Heap lang
    • Project label