Skip to content
New issue

upstream

No due date 100% complete

Bugs in this category are inherited from Coq's design and we have no ETA to fix them upstream.

There are no open issues in this milestone.

Add issues to milestones to help organize your work for a particular release or project.

Create new issue

Or find and add issues with no milestone in this repo.