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

2026-02-17 - 2026-03-17
Period: 1 month
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, 27 authors have pushed 306 commits to master and 1001 commits to all branches. On master, 5463 files have changed and there have been 65523 additions and 17583 deletions.

5 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