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 supported8 Subscribers
Add a CodeTriage badge to coq![CodeTriage badge for coq/coq](/coq/coq/badges/users.svg?count=8)
Help out
- Issues
- Add mathcomp-analysis to the bench.
- bad parsing of `Print Ltac2.foo.`
- Delay kind_to_constr computation in hconstr
- Maximally share hashconsed subapplication nodes in Typeops.
- hconstr don't use push_unknown_rel for matches
- CoqIDE: Improve preferences dialog
- Ltac2: Bidirectional pattern match / unification between constr and pattern
- Avoid Level.Set.union in univs_of_constr + factorize code
- Fix FIrrelevant conversion in RR
- Make the bench easier to run locally
- Docs
- not yet supported