LeanTeX pretty printers for mathlib
active 2025-03-06 → 2025-06-01 (UTC)
Partial coverage12,043 / 13,580 hourly files (89%) · 2 absent upstream · 1,533 failed, retryable2025-01-22 → 2026-08-10 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
14
Pushes
2
Pull requests
3
Issues
2
Stars
3
Forks
1
Activity over time
Daily event counts in the loaded window
Line chart, 88 days from 2025-03-06 to 2025-06-01. Pushes: 2 total, peak 2 in a day. Pull requests: 3 total, peak 1 in a day. Issues: 2 total, peak 2 in a day. Comments: 2 total, peak 2 in a day. Stars: 3 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
Recent activity
Latest issues, pull requests and releases
- Pull request#5ldct2025-04-05 21:17
- Issue comment#3kmill2025-03-22 00:57Add floor, ceil, min, max, singleton
- Pull request#1kmill2025-03-22 00:55
- Issue comment#3ldct2025-03-22 00:40Add floor, ceil, min, max, singleton
- Issue#4ldct2025-03-07 04:32Underscores in function names mess up rendering
- Pull request#3ldct2025-03-07 03:54
- Issue#2ldct2025-03-07 02:59Underscores in hypothesis mess up rendering
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 3 stars here means stars gained during the window, not the repo's star count.