Skip to content
GitHub Explorer

lean-ja/type_checking_in_lean4_ja

View on GitHub ↗Related repositories →

Type Checking in Lean 4の日本語訳（作業中）

active 2024-09-27 → 2024-11-04 (UTC)

Complete coverage27,368 / 27,368 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-28 (UTC)
Events
130
Pushes
44
Pull requests
42
Issues
0
Stars
1
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 39 days from 2024-09-27 to 2024-11-04. Pushes: 44 total, peak 6 in a day. Pull requests: 42 total, peak 6 in a day. Issues: 0 total, peak 0 in a day. Comments: 0 total, peak 0 in a day. Stars: 1 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-taiga8644420

Recent activity

Latest issues, pull requests and releases

  • Pull request#22s-taiga2024-11-04 05:53
  • Pull request#22s-taiga2024-11-04 05:50
  • Pull request#21s-taiga2024-11-04 04:29
  • Pull request#21s-taiga2024-11-03 15:25
  • Pull request#20s-taiga2024-11-03 15:22
  • Pull request#20s-taiga2024-10-28 16:09
  • Pull request#19s-taiga2024-10-28 13:49
  • Pull request#19s-taiga2024-10-26 14:28
  • Pull request#18s-taiga2024-10-26 14:25
  • Pull request#18s-taiga2024-10-24 13:10
  • Pull request#17s-taiga2024-10-11 13:01
  • Pull request#16s-taiga2024-10-11 12:44
  • Pull request#15s-taiga2024-10-10 13:59
  • Pull request#15s-taiga2024-10-10 13:27
  • Pull request#14s-taiga2024-10-10 13:24
  • Pull request#14s-taiga2024-10-06 15:27
  • Pull request#13s-taiga2024-10-06 15:26
  • Pull request#13s-taiga2024-10-05 14:45
  • Pull request#12s-taiga2024-10-05 14:42
  • Pull request#12s-taiga2024-10-05 13:46
  • Pull request#11s-taiga2024-10-05 13:44
  • Pull request#11s-taiga2024-10-05 07:42
  • Pull request#10s-taiga2024-10-05 07:40
  • Pull request#10s-taiga2024-10-04 12:21
  • Pull request#9s-taiga2024-10-04 12:19

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