Labels · Leon Vatthauer / Koinduktion-coq · GitLab

All

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 9

WIP

Leon Vatthauer / Koinduktion-coq
- Issues
- Merge requests
bug

Leon Vatthauer / Koinduktion-coq
- Issues
- Merge requests
critical

Leon Vatthauer / Koinduktion-coq
- Issues
- Merge requests
extension

Leon Vatthauer / Koinduktion-coq
- Issues
- Merge requests
feature

Leon Vatthauer / Koinduktion-coq
- Issues
- Merge requests
need help

Leon Vatthauer / Koinduktion-coq
- Issues
- Merge requests
needs more info

Leon Vatthauer / Koinduktion-coq
- Issues
- Merge requests
untested

Leon Vatthauer / Koinduktion-coq
- Issues
- Merge requests
wontfix

Leon Vatthauer / Koinduktion-coq
- Issues
- Merge requests