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 supported6 Subscribers
Add a CodeTriage badge to coq
Help out
- Issues
- Improve the arity error message for destructuring let
- Change instance_binder printer into auctx_binder, print elimination constraints
- Compilation of critical bugs in stable releases of Coq: add a table
- extend documentation of fresh
- Avoid eager composition of module substitutions
- Order search results by name after priority
- Experiment: process nursery
- More informative error message for "not an inductive product"
- Filter STM worker teardown noise in the test-suite output comparison (alternative to #22286)
- Support alternative expected outputs in output tests; add variants for the par test (alternative to #22286)
- Docs
- not yet supported