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 supported5 Subscribers
Add a CodeTriage badge to coq
Help out
- Issues
- `set x := ssrpattern` involving evar fails with undeclared evar anomaly
- `Instance foo : ...` does not check `foo` is unbound, unlike `Definition` etc
- Document Kernel Term Sharing
- CI scripts understand DOWNLOAD_ONLY + use in create_overlays
- Remove deprecated "Instance Generalized Output" flag
- ssreflect pollutes notation precedence space for colon, again
- Implicit arguments not correctly displayed by the Print command
- [wish] [doc] Preserve page when changing versions in refman
- Convert the tactics chapter to prodn
- Release 8.15.0
- Docs
- not yet supported