SinTan1729/lean-talk-sp24
1
0
Fork 0
mirror of https://github.com/SinTan1729/lean-talk-sp24.git synced 2025-02-05 14:12:35 -06:00
Code Issues Projects Releases Packages Wiki Activity
Pulse Contributors Code frequency Recent commits

2024-02-05T20:33:40Z - 2025-02-05T20:33:40Z
Period: 1 year
1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

0 active pull requests
0 active issues
0
Merged pull requests 0
Proposed pull requests 0
Closed issues 0
New issues
Excluding merges, 2 authors have pushed 16 commits to main and 16 commits to all branches. On main, 14 files have changed and there have been 1333 additions and 18 deletions.