"theories/proofmode/tactics.v" did not exist on "58bd4b022e182a2c3f25a776dc6ea57cbf160234"
Repository analytics
Programming languages used in this repository
Measured in bytes of code. Excludes generated and vendored code.
Code coverage statistics for 0d88e8337edac2c56d03faa062fa6118602bf330 Jan 01 - Apr 01
No code coverage data
Code coverage results are not yet available. Try again later.
data
Commit statistics for 0d88e8337edac2c56d03faa062fa6118602bf330 May 28 - Jun 01
Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
- Total: 1586 commits
- Average per day: 2.2 commits
- Authors: 10
Commits per day of month
Commits per weekday
Commits per day hour (UTC)