active 2025-11-25 → 2026-03-12 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 108 days from 2025-11-25 to 2026-03-12. Pushes: 4 total, peak 4 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 12 total, peak 4 in a day. Comments: 9 total, peak 3 in a day. Stars: 3 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
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
- Issue#43jcommelin2026-03-12 07:47Code action that makes declaration autonomous
- Issue#43jcommelin2026-03-12 07:31Code action that makes declaration autonomous
- Issue comment#39kim-em2026-02-02 19:56Update "tags and branches" to reflect the PR-from-fork model
- Issue#38jcommelin2026-01-13 08:33Queueboard: add view for PRs on the queue with unresolved conversations
- Issue#37jcommelin2026-01-12 19:46Add merge-in-24-hrs-unless-maintainer-comments functionality
- Issue comment#34jcommelin2025-12-15 13:18Linting bad instance assumptions in context
- Issue#33ocfnash2025-12-02 14:44Tactic Request: `nonzero`/`positivity` improvements
- Issue comment#31ocfnash2025-12-02 14:18Document `simp` normal forms
- Issue#29ocfnash2025-12-02 14:08Document `grind` best practices
- Issue comment#10callesonne2025-11-27 22:43Mass deprecation processing tool
- Issue comment#11callesonne2025-11-27 22:31Improve `exact?`
- Issue#26ocfnash2025-11-27 11:26Two-way monography to mathlib translations
- Issue#26ocfnash2025-11-27 11:26Two-way monography to mathlib translations
- Issue#10ocfnash2025-11-27 10:53Mass deprecation processing tool
- Issue#26ocfnash2025-11-27 10:05Two-way monography to mathlib translations
- Issue comment#5kim-em2025-11-26 04:46A code action for renaming or for adding / reordering arguments to a `def` or `lemma`
- Issue#24grunweg2025-11-25 21:16Linting for basic formatting issues
- Issue comment#17grunweg2025-11-25 21:05Improve our Library Notes
- Issue comment#18grunweg2025-11-25 21:03Update Mathlib's `docs/overview.yaml`, `docs/undergrad.yaml`
- Issue comment#11sgouezel2025-11-25 19:33Improve `exact?`
- Issue#21chrisflav2025-11-25 18:26An infoview augmented review view.
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.