Old implementation of the proof generator based on Metamath format
active 2023-08-15 → 2024-08-13 (UTC)
Complete coverage26,348 / 26,348 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-16 (UTC)
Events
400
Pushes
385
Pull requests
1
Issues
4
Stars
4
Forks
3
Activity over time
Daily event counts in the loaded window
Line chart, 365 days from 2023-08-15 to 2024-08-13. Pushes: 385 total, peak 11 in a day. Pull requests: 1 total, peak 1 in a day. Issues: 4 total, peak 4 in a day. Comments: 0 total, peak 0 in a day. Stars: 4 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| rv-jenkins | 380 | 380 | 0 | 0 |
| nishantjr | 6 | 2 | 0 | 0 |
| F-WRunTime | 4 | 3 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#93F-WRunTime2024-02-15 17:33
- Issue#95nishantjr2023-08-28 13:55Define a small K language for testing rewrite-only specifications.
- Issue#94nishantjr2023-08-28 13:54Port LLVM proof-hint parsing
- Issue#95nishantjr2023-08-28 13:48Define a small K language for testing rewrite-only specifications.
- Issue#94nishantjr2023-08-28 13:46Port LLVM proof-hint parsing
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 4 stars here means stars gained during the window, not the repo's star count.