An open API service for providing issue and pull request metadata for open source projects.

GitHub / leanprover issue stats

Total issues: 96
Total pull requests: 135
Merged pull request: 94
Average time to close issues: 3 months
Average time to close pull requests: 25 days
Average comments per issue: 1.86
Average comments per pull request: 1.11

Pull requests created


Issue owner Associations

  • None (67, 69.79%)
  • Contributor (22, 22.92%)
  • Member (7, 7.29%)

Pull Request owner Associations

  • Contributor (94, 69.63%)
  • Member (36, 26.67%)
  • None (5, 3.70%)

All Maintainers

Active Maintainers


Top Issue Authors

Top Pull Request Authors


Top Issue Labels

  • enhancement (1)

Top Pull Request Labels

  • dependencies (35)
  • rust (1)