Skip to content
GitHub Explorer

lean-ja/mathematics_in_lean_source

View on GitHub ↗Related repositories →

「Mathematics in Lean tutorial」の和訳（作業中）.

active 2023-09-23 → 2024-11-04 (UTC)

Complete coverage27,803 / 27,803 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-16 (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

ContributorContributionsPushesPRsComments
s-taiga38918013244
Seasawher8921437
Taka0007378016

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.