GitHub / leanprover / theorem_proving_in_lean4 issue stats
Last synced: 2 months ago
Total issues: 56
Total pull requests: 152
Average time to close issues: 2 months
Average time to close pull requests: 4 months
Total issue authors: 26
Total pull request authors: 48
Average comments per issue: 1.13
Average comments per pull request: 0.65
Merged pull requests: 89
Bot issues: 0
Bot pull requests: 0
Past year issues: 16
Past year pull requests: 6
Past year average time to close issues: 1 day
Past year average time to close pull requests: 14 days
Past year issue authors: 8
Past year pull request authors: 5
Past year average comments per issue: 0.94
Past year average comments per pull request: 0.0
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Ftheorem_proving_in_lean4
Issue Author Associations
- None (30, 53.57%)
- Contributor (7, 12.50%)
Pull Request Author Associations
- Contributor (56, 36.84%)
- None (25, 16.45%)
- Collaborator (3, 1.97%)
- Member (1, 0.66%)
Top Issue Authors
- ketilwright (7)
- Seasawher (3)
- GetContented (2)
- rkirov (2)
- MrQubo (2)
- khanh101 (1)
- rambip (1)
- iensen (1)
- int-y1 (1)
- BoltonBailey (1)
- dataopt (1)
- zxch3n (1)
- lovettchris (1)
- erniecohen (1)
- dijkstracula (1)
Top Pull Request Authors
- lovettchris (20)
- int-y1 (5)
- VhRvo (4)
- dijkstracula (4)
- paulch42 (3)
- david-christiansen (3)
- vlad902 (2)
- hmonroe (2)
- SteveUlin (2)
- digama0 (2)
- ghost (1)
- GetContented (1)
- agl (1)
- newptcai (1)
- AmourAmer (1)
All Maintainers
- david-christiansen (3)
- Kha (1)