Skip to content

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 5

  • Bug
    Theorem Prover / Noo Programming Language
  • Documentation
    Theorem Prover / Noo Programming Language
  • Enhancement
    Theorem Prover / Noo Programming Language
  • Performance
    Theorem Prover / Noo Programming Language
  • Refactoring
    Theorem Prover / Noo Programming Language