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 supported9 Subscribers
Add a CodeTriage badge to coq
Help out
- Issues
- Proper RR typechecker
- Ensure that andb_true_intro and andb_prop are transparent so that Scheme Equality computes
- Skip existential variable instances in Set Keep Admitted
- Timeout can go wrong in coqide
- Minimization of qualities is under-specific with Prop and Type
- Feature request: explicit sorts in notations
- Wrong relevance mark when rewriting with sort-poly equality
- Local definitions in inductive parameters mess up term printing
- [ci] [bench] CI / Bench for OCaml 5.2.0+trunk
- ssreflect rewrite cannot handle sort-polymorphic registered equality
- Docs
- not yet supported