sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 10:24:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
Pulse Contributors Code Frequency Recent Commits

2025-12-17 - 2026-03-17
Period: 3 months
1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

0 Active Issues
0
Closed Issues 0
New Issues
Excluding merges, 45 authors have pushed 885 commits to master and 3383 commits to all branches. On master, 6998 files have changed and there have been 137330 additions and 46779 deletions.

9 Releases published by 1 user

Published v4.29.0-rc6 2026-03-07 00:48:51 +00:00

Published v4.29.0-rc5 2026-03-05 02:06:39 +00:00

Published v4.29.0-rc4 2026-03-04 02:30:32 +00:00

Published v4.29.0-rc3 2026-03-01 11:47:04 +00:00

Published v4.29.0-rc2 2026-02-24 00:20:30 +00:00

Published v4.29.0-rc1 2026-02-17 12:20:09 +00:00

Published v4.28.0 2026-01-26 07:11:39 +00:00

Published v4.28.0-rc1 2026-01-26 00:40:44 +00:00

Published v4.27.0 2026-01-20 14:00:20 +00:00