Skip to content

No labels!

There aren’t any labels for this repository quite yet.

bug
bug
depends:coq-pr
depends:coq-pr
depends on a pull-request for coq/coq
duplicate
duplicate
enhancement
enhancement
help wanted
help wanted
invalid
invalid
question
question
wontfix
wontfix