Notifications
List group item heading Wed
Some placeholder content in a paragraph below the heading and date.

Report for: Lean4-Mode

https://github.com/leanprover-community/lean4-mode

Contributor Reports

New contributors bar graph
Returning contributors pie chart

Contributor Reports Stacked

New contributors stacked bar chart
Returning contributors stacked bar chart

Pull Request Reports

Average commits per pull request
Average comments per pull request
Pull request counts by merged status
Mean response times for pull requests
Mean days between pull request comments
Pull request time until first response
Average pull request events for closed pull requests
Average pull request duration

This is a beta build of Augur-View. Experimental frontend features may not be fully functional.

Chaos Logo