GitHub / BoltonBailey issue stats
Total issues: 23
Total pull requests: 24
Merged pull request: 13
Average time to close issues: 7 months
Average time to close pull requests: 19 days
Average comments per issue: 1.17
Average comments per pull request: 0.71
Issues created
- leanprover/vscode-lean: 4
- leanprover/lean4: 2
- leanprover/theorem_proving_in_lean4: 1
- leanprover-community/mathlib4: 1
- johnhw/pfilter: 1
- ingonyama-zk/papers: 1
- leanprover/doc-gen4: 1
- dwrensha/tryateachstep: 1
- cmu-l3/llmlean: 1
- leanprover-community/mathlib-tools: 1
- leanprover-community/doc-gen: 1
- sumnow/markdown-formatter: 1
- mjbvz/vscode-github-markdown-preview-style: 1
- cpitclaudel/alectryon: 1
- git-quick-stats/git-quick-stats: 1
- astral-sh/uv: 1
- cvxpy/cvxpy: 1
- iden3/circom: 1
- princeton-vl/coqgym: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (20, 86.96%)
- Contributor (2, 8.70%)
- Collaborator (1, 4.35%)
Pull Request Author Associations
- Contributor (19, 79.17%)
- Collaborator (3, 12.50%)
- None (2, 8.33%)
Top Issue Labels
- error message (1)
- enhancement (1)
- needs-decision (1)
Top Pull Request Labels
- awaiting-author (3)
- toolchain-available (2)
- documentation (2)
- tech debt (2)
- WIP (1)
- merge-conflict (1)
- builds-mathlib (1)
- changelog-lake (1)
- t-computability (1)
- t-meta (1)