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
- Deprecating change directory
- [library] Allow require to load libraries from memory.
- [build] Dune-release support issue
- `simpl` does not determine whether an argument reduces to a constructor application by `simpl` itself when `Arguments` with `!` flags is declared
- Cancelation lemmas for multiplication on `nat` are missing
- Recursive/Separate Extraction not optimal
- coqchk -o shows unused and admitted axioms
- Extraction: extend pruning of unused declarations after inlining to modules
- Stackoverflow during parsing
- Summary of behavior of extraction wrt projections depending on whether they are primitive or not, singleton or not, at toplevel, in module or in functor
- Docs
- not yet supported