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
- Custom entries make PG and CoqIde hang?
- Ltac2 Constr.Unsafe.case type should expose the inductive and the number of parameters
- Extraction name clash
- It should be possible to pass a string to `time` via tactic notation
- unbound var anomaly in goal mentioning previously cleared var
- rewrite_strat (foo; bar) should be equivalent to (rewrite_strat foo); (rewrite_strat bar)
- Fixpoint: different universe behaviour when async vs non async
- Inversion tactic does not respect Opaque
- Coqide file browser does not show file that was just saved
- Attribute(s) to adjust verbosity levels.
- Docs
- not yet supported