Total issues: 65
Total pull requests: 35
Average time to close issues: 11 days
Average time to close pull requests: 5 days
Total issue authors: 4
Total pull request authors: 2
Average comments per issue: 1.95
Average comments per pull request: 1.97
Merged pull requests: 18
Bot issues: 0
Bot pull requests: 0

Past year issues: 0
Past year pull requests: 0
Past year average time to close issues: N/A
Past year average time to close pull requests: N/A
Past year issue authors: 0
Past year pull request authors: 0
Past year average comments per issue: 0
Past year average comments per pull request: 0
Past year merged pull requests: 0
Past year bot issues: 0
Past year bot pull requests: 0

Issue Author Associations

• Owner (55, 84.62%)
• Collaborator (8, 12.31%)
• None (2, 3.08%)

Pull Request Author Associations

• Collaborator (18, 51.43%)
• Owner (17, 48.57%)

Top Issue Authors

• asr (55)
• jonaprieto (8)
• jechev28 (1)
• acallesalda (1)

Top Pull Request Authors

• jonaprieto (18)
• asr (17)

All Maintainers

• asr (72)
• jonaprieto (26)

Active Maintainers

Top Issue Labels

• type: bug (41)
• type: enhancement (17)
• test-suite (12)
• translation (8)
• travis (8)
• command-line-options (4)
• status: invalid (4)
• z3 (3)
• e (3)
• type: regression (3)
• eta-expansion (3)
• agda (2)
• build (2)
• status: blocked (2)
• ileancop (1)
• status: blocking (1)
• error-message (1)
• tptp4X (1)
• online-atps (1)
• ghc-8.4.2 (1)
• tptp2X (1)
• ghc-7.6.3 (1)
• mac-os (1)
• eagda (1)
• dump-types (1)
• sharing (1)
• metis (1)
• status: wontfix (1)

Top Pull Request Labels

• travis (1)
• online-atps (1)
• command-line-options (1)
• type: enhancement (1)
• test-suite (1)