coq
https://github.com/coq/coq
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
not yet supported7 Subscribers
Add a CodeTriage badge to coq
Help out
- Issues
- coqdep fails on missing paths
- test-suite fails with a LaTeX error dependency error which is not mentioned anywhere in the build configuration
- Adding a scope annotation to an implicit argument makes remaining arguments explicit
- `destruct` section variable fails with "already used" error when the section variable is used in a section Let used in a definition appearing in the body of a context variable
- Unable to interpret notation as a reference
- test failure bugs/closed/bug_5127.v on s390x
- merge-pr script should not use git remote update
- Infrastructure for fine-grained control of warnings
- match statements should allow bound parameters
- Derive leaves over Existential Variables not picked up by Unshelve
- Docs
- not yet supported