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-14 - 2026-03-17
Period: 3 days
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, 13 authors have pushed 20 commits to master and 45 commits to all branches. On master, 232 files have changed and there have been 1167 additions and 693 deletions.