Pulse Contributors Code frequency Recent commits

2024-09-06T21:25:17Z - 2024-10-06T21:25:17Z

Period: 1 month

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, 1 author has pushed 17 commits to master and 17 commits to all branches. On master, 50 files have changed and there have been 1629 additions and 510 deletions.

1 unresolved conversation

Open #21 Chapter 7: Homotopy n-types 2024-10-02 08:51:33 +00:00