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-16 - 2026-03-17
Period: 1 day
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, 6 authors have pushed 8 commits to master and 14 commits to all branches. On master, 36 files have changed and there have been 282 additions and 101 deletions.