「Mathematics in Lean tutorial」の和訳（作業中）.
active 2023-09-23 → 2024-11-04 (UTC)
Complete coverage26,663 / 26,663 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-29 (UTC)
Events
658
Pushes
209
Pull requests
136
Issues
7
Stars
7
Forks
1
Activity over time
Daily event counts in the loaded window
Line chart, 409 days from 2023-09-23 to 2024-11-04. Pushes: 209 total, peak 10 in a day. Pull requests: 136 total, peak 7 in a day. Issues: 7 total, peak 2 in a day. Comments: 97 total, peak 19 in a day. Stars: 7 total, peak 2 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#77s-taiga2024-11-04 06:02
- Pull request#77s-taiga2024-11-04 05:59
- Pull request#76s-taiga2024-10-27 15:17
- Pull request#76s-taiga2024-10-27 15:15
- Pull request#75s-taiga2024-10-25 15:16
- Pull request#75s-taiga2024-10-25 14:50
- Pull request#74s-taiga2024-10-25 14:03
- Pull request#74s-taiga2024-10-25 13:51
- Pull request#73s-taiga2024-10-25 07:41
- Pull request#72s-taiga2024-10-24 13:32
- Pull request#72s-taiga2024-10-24 13:29
- Pull request#71s-taiga2024-10-24 13:18
- Pull request#71s-taiga2024-10-24 13:09
- Pull request#70s-taiga2024-10-19 14:57
- Pull request#70s-taiga2024-10-19 14:54
- Pull request#69s-taiga2024-10-16 14:33
- Pull request#68s-taiga2024-10-12 08:44
- Pull request#68s-taiga2024-10-12 08:41
- Pull request#67s-taiga2024-10-12 08:22
- Pull request#67s-taiga2024-10-12 08:19
- Pull request#66s-taiga2024-09-23 07:50
- Pull request#53s-taiga2024-09-23 07:23
- Pull request#51s-taiga2024-09-23 07:15
- Pull request#49s-taiga2024-09-23 07:06
- Pull request#63s-taiga2024-09-23 07:01
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 7 stars here means stars gained during the window, not the repo's star count.