A Lean library for Computer Science
active 2025-06-25 → 2025-08-15 (UTC)
Partial coverage14,155 / 17,041 hourly files (83%) · 2 absent upstream · 2,885 failed, retryable2024-08-31 → 2026-08-11 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
266
Pushes
58
Pull requests
24
Issues
4
Stars
26
Forks
5
Activity over time
Daily event counts in the loaded window
Line chart, 52 days from 2025-06-25 to 2025-08-15. Pushes: 58 total, peak 7 in a day. Pull requests: 24 total, peak 3 in a day. Issues: 4 total, peak 1 in a day. Comments: 89 total, peak 16 in a day. Stars: 26 total, peak 6 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 |
|---|---|---|---|---|
| fmontesi | 115 | 53 | 11 | 29 |
| chenson2018 | 40 | 0 | 5 | 23 |
| thomaskwaring | 14 | 0 | 0 | 7 |
| tristan-f-r | 5 | 0 | 3 | 1 |
| Linyxus | 1 | 0 | 1 | 0 |
| kckennylau | 1 | 0 | 1 | 0 |
| XYUnknown | 1 | 1 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#32fmontesi2025-08-15 18:16term elaborator for selecting fresh variables
- Issue comment#32chenson20182025-08-15 11:31term elaborator for selecting fresh variables
- Issue comment#32fmontesi2025-08-15 07:38term elaborator for selecting fresh variables
- Pull request#31chenson20182025-08-14 14:37
- Pull request#29tristan-f-r2025-08-14 05:28
- Pull request#28Linyxus2025-08-13 15:17
- Issue comment#23chenson20182025-08-06 08:06Notation and term elaborators
- Issue comment#26chenson20182025-08-05 11:50All Lints Corrected!
- Issue comment#23chenson20182025-08-05 04:49Notation and term elaborators
- Pull request#25fmontesi2025-08-04 08:21
- Issue comment#25fmontesi2025-08-04 08:21use notation3 for Lts and ReductionSystem
- Issue comment#17chenson20182025-07-30 15:34Locally nameless STLC
- Issue#13fmontesi2025-07-30 05:59`reduction_sys` and `lts` attributes do not respect namespaces
- Pull request#24fmontesi2025-07-30 05:59
- Issue comment#23chenson20182025-07-29 07:53Notation and term elaborators
- Pull request#24chenson20182025-07-28 23:16
- Issue comment#20fmontesi2025-07-28 14:15Problem with docs in ReductionSystem
- Pull request#22fmontesi2025-07-28 06:11
- Pull request#22fmontesi2025-07-27 14:09
- Issue comment#20fmontesi2025-07-27 12:07Problem with docs in ReductionSystem
- Issue comment#20chenson20182025-07-27 08:49Problem with docs in ReductionSystem
- Pull request#21chenson20182025-07-27 08:03
- Issue#20fmontesi2025-07-27 05:38Problem with docs in ReductionSystem
- Issue comment#19chenson20182025-07-25 13:52Activate mathlib linters and fix some warnings.
- Issue comment#18chenson20182025-07-25 13:04Centralize Aesop Rulesets
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 26 stars here means stars gained during the window, not the repo's star count.