Programming languages used in this repository
Measured in bytes of code. Excludes generated and vendored code.
Commit statistics for jh_inductive_pairs May 28 - Jun 16Excluding merge commits. Limited to 2,000 commits.
- Total: 1611 commits
- Average per day: 2.1 commits
- Authors: 10
Commits per day of month
Commits per weekday
Commits per day hour (UTC)