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
- [release] version is rc1
- Report check_eliminations bypasses in Print Assumptions and rocqchk
- Feature: Require(safe)
- Cleanups around kernel side of Require
- Introduce a function to get LStream locations relatively to the head.
- Add Printing Reversible flags: check printed terms reparse to equal terms, escalating printing options when not
- Exit STM workers quietly on lost master connection (flaky output/Partac.v on Windows CI)
- Universe checking state gets confused when locally changed in module
- Make module subtyping checks proportional to the expected signature, cache repeated field checks
- Chaining module `<+` operator shows quadratic time increase
- Docs
- not yet supported