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
- Treat `Hint Extern` syntactically in the Bnet
- commit 5c94d0d375 breaks dependent evar line
- Support syntax `Type@{q | _}`
- Unspecified universe levels (`_`) trigger a syntax error in `Type` with sort variables
- Conversion can fail to equate primitive projections with their compatibility constants
- [wip] Incorrect experiment to clean up some code in the stm
- Cleanup counter handling in newprofile
- Test suite: Speed up summary.log generation
- experiment: measure gc time with ocaml 5 runtime events in newprofile
- ::> only declares an instance without a coercion when it should do both
- Docs
- not yet supported