Prioritized Labels
  • priority: blocker
    Why3 / why3
  • priority: high
    Why3 / why3
  • priority: medium
    Why3 / why3
  • priority: low
    Why3 / why3
  • Other Labels
  • component: trywhy3
    Why3 / why3
  • component: website
    Why3 / why3
  • component: wp
    Why3 / why3
  • feature wish
    Why3 / why3
  • soundness
    Why3 / why3