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 47 commits to master and 116 commits to all branches. On master, 2603 files have changed and there have been 4887 additions and 2855 deletions.