Development tools for https://github.com/leanprover-community/mathlib
active 2023-08-15 → 2026-03-30 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 959 days from 2023-08-15 to 2026-03-30. Pushes: 1 total, peak 1 in a day. Pull requests: 7 total, peak 7 in a day. Issues: 9 total, peak 9 in a day. Comments: 17 total, peak 17 in a day. Stars: 4 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
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| PatrickMassot | 33 | 1 | 7 | 16 |
| dependabot[bot] | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Pull request#131PatrickMassot2023-08-29 18:59
- Issue comment#131PatrickMassot2023-08-29 18:59port to tomli and tomli_w
- Pull request#147PatrickMassot2023-08-29 18:59
- Issue comment#147PatrickMassot2023-08-29 18:59feat: port command
- Pull request#148PatrickMassot2023-08-29 18:59
- Issue comment#165dependabot[bot]2023-08-29 18:59build(deps): bump certifi from 2022.12.7 to 2023.7.22
- Issue comment#148PatrickMassot2023-08-29 18:59Support yaml-style port status files
- Issue comment#160PatrickMassot2023-08-29 18:59CVE-2007-4559 Patch
- Pull request#160PatrickMassot2023-08-29 18:59
- Issue comment#164PatrickMassot2023-08-29 18:58build(deps): bump requests from 2.25.1 to 2.31.0
- Pull request#164PatrickMassot2023-08-29 18:58
- Issue comment#165PatrickMassot2023-08-29 18:58build(deps): bump certifi from 2022.12.7 to 2023.7.22
- Pull request#165PatrickMassot2023-08-29 18:58
- Pull request#166PatrickMassot2023-08-29 18:58
- Issue comment#166PatrickMassot2023-08-29 18:58build(deps): bump gitpython from 3.1.30 to 3.1.32
- Issue comment#13PatrickMassot2023-08-29 18:58In leanpkg.toml, allow git revision commit hash to be replaced by tag name
- Issue#13PatrickMassot2023-08-29 18:58In leanpkg.toml, allow git revision commit hash to be replaced by tag name
- Issue#37PatrickMassot2023-08-29 18:58Making Lean project a git submodule of another git repo
- Issue comment#37PatrickMassot2023-08-29 18:58Making Lean project a git submodule of another git repo
- Issue comment#51PatrickMassot2023-08-29 18:58name of repo vs pip package
- Issue#75PatrickMassot2023-08-29 18:58refactoring directory structure of mathlib can cause problems
- Issue comment#75PatrickMassot2023-08-29 18:58refactoring directory structure of mathlib can cause problems
- Issue#83PatrickMassot2023-08-29 18:58`elan` is not on $PATH in gnome-terminal
- Issue comment#83PatrickMassot2023-08-29 18:58`elan` is not on $PATH in gnome-terminal
- Issue#91PatrickMassot2023-08-29 18:57why are we still talking about branch 'lean-3.4.2'?
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.