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
- Uncaught Exception
- Code factorization around Evarutil.finalize and prepare_obligations
- [experiment] Skip conversion of lambda annotations with a common supertype, the return
- [notations] Warn about incompatible prefixes
- There is no command to print currently available modules.
- Universe inconsistency when rewriting with sort poly definition
- Fix passing line number of errors in xml protocol, causing ill-located or non-located errors, notably in the presence of utf8 characters
- Make it possible to enable/disable a `String Notation`
- Fix debug printing of Lambda projections.
- Surprising definitional equality between empty matches from irrelevant to relevant at different indices
- Docs
- not yet supported