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-03-10 - 2026-03-17
Period: 1 week
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, 18 authors have pushed 49 commits to master and 121 commits to all branches. On master, 2607 files have changed and there have been 5202 additions and 3019 deletions.