michael/type-theory
2
0
Fork 0
Code Issues 11 Pull requests Projects 1 Releases Packages Wiki Activity Actions
Pulse Contributors Code frequency Recent commits

2024-09-29T19:30:05Z - 2024-10-06T19:30:05Z
Period: 1 week
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 4 commits to master and 4 commits to all branches. On master, 13 files have changed and there have been 572 additions and 195 deletions.

1 unresolved conversation

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