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 supported8 Subscribers
Add a CodeTriage badge to coq
Help out
- Issues
- Experimenting beta-reducing terms displayed in some unification error messages
- Add `devShell` to `flake.nix` to allow nix-direnv to work
- Proper RR typechecker
- 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
- ssreflect rewrite cannot handle sort-polymorphic registered equality
- `subst` cannot handle sort polymorphic equality
- Docs
- not yet supported