Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coqbot issue stats
Total issues: 41
Total pull requests: 0
Merged pull request: 0
Average time to close issues: about 7 years
Average time to close pull requests: N/A
Average comments per issue: 4.0
Average comments per pull request: 0
Issues created
- coq/coq: 38
- coq/coq.github.io: 3
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (38, 92.68%)
- None (3, 7.32%)
Pull Request Author Associations
Top Issue Labels
- part: tactics (18)
- part: ltac (7)
- resolved: won't fix (6)
- kind: feature (4)
- kind: enhancement (3)
- kind: user messages (3)
- part: modules (3)
- part: vernac (2)
- part: unification (2)
- platform: Windows (2)
- part: rewriting tactics (1)
- part: native compiler (1)
- part: reduction strategies (1)
- kind: wish (1)
- part: extraction (1)