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
- Printing bug with notations for n-ary applications used with applied references.
- Remove redundant data from VM case switch.
- tactics.rst: `Require A` is enough for `A`'s hints
- Fixes #12682: printing bug with recursive notations for n-ary applications used with applied references
- Tweak the warning for arbitrary term hints.
- Fix #12513: coq no longer reports mismatched version numbers.
- mangle names vs. decide equality: anomaly "variable diseq unbound."
- Better location for match! pattern variables in Ltac2.
- Fix fiat_crypto(_ocaml) needs/dependencies
- Minor improvement to CI logs
- Docs
- not yet supported