Skip to content
GitHub Explorer

lean-ja/reference-manual-ja

View on GitHub ↗Related repositories →

「The Lean Language Reference」の日本語訳（作業中）

active 2024-10-24 → 2025-01-04 (UTC)

Complete coverage27,358 / 27,358 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-27 (UTC)
Events
276
Pushes
106
Pull requests
80
Issues
0
Stars
2
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 73 days from 2024-10-24 to 2025-01-04. Pushes: 106 total, peak 9 in a day. Pull requests: 80 total, peak 6 in a day. Issues: 0 total, peak 0 in a day. Comments: 0 total, peak 0 in a day. Stars: 2 total, peak 1 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-taiga186106800

Recent activity

Latest issues, pull requests and releases

  • Pull request#43s-taiga2025-01-04 13:27
  • Pull request#45s-taiga2025-01-04 06:39
  • Pull request#45s-taiga2025-01-04 01:13
  • Pull request#44s-taiga2025-01-03 12:37
  • Pull request#44s-taiga2025-01-03 12:27
  • Pull request#43s-taiga2025-01-03 09:01
  • Pull request#42s-taiga2024-12-30 03:12
  • Pull request#40s-taiga2024-12-29 13:01
  • Pull request#40s-taiga2024-12-29 03:35
  • Pull request#39s-taiga2024-12-29 03:30
  • Pull request#39s-taiga2024-12-27 14:04
  • Pull request#38s-taiga2024-12-27 14:01
  • Pull request#38s-taiga2024-12-26 15:26
  • Pull request#37s-taiga2024-12-26 15:24
  • Pull request#37s-taiga2024-12-26 14:53
  • Pull request#36s-taiga2024-12-26 14:44
  • Pull request#36s-taiga2024-12-26 14:28
  • Pull request#35s-taiga2024-12-26 14:24
  • Pull request#35s-taiga2024-12-25 15:21
  • Pull request#34s-taiga2024-12-25 14:57
  • Pull request#34s-taiga2024-12-24 15:28
  • Pull request#33s-taiga2024-12-24 15:23
  • Pull request#33s-taiga2024-12-22 14:51
  • Pull request#32s-taiga2024-12-22 14:49
  • Pull request#32s-taiga2024-12-21 07:43

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 2 stars here means stars gained during the window, not the repo's star count.