Pulse Contributors Code frequency Recent commits

2024-07-06T21:23:39Z - 2024-10-06T21:23:39Z

Period: 3 months

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

0 active pull requests

7 active issues

0
Merged pull requests 0
Proposed pull requests 4
Closed issues 3
New issues

Excluding merges, 1 author has pushed 72 commits to master and 72 commits to all branches. On master, 102 files have changed and there have been 5048 additions and 2389 deletions.

4 issues closed from 1 user

Closed #7 Chapter 2: Homotopy type theory 2024-07-25 02:16:02 +00:00

Closed #6 Exercise 2.4: n-dimensional path 2024-07-25 02:15:31 +00:00

Closed #20 Chapter 6: Higher inductive types 2024-07-11 14:47:52 +00:00

Closed #17 Email the author of the paper 2024-07-11 13:04:10 +00:00

3 issues created by 1 user

Opened #19 Chapter 4: Equivalences 2024-07-10 21:58:41 +00:00

Opened #21 Chapter 7: Homotopy n-types 2024-07-11 13:02:43 +00:00

Opened #22 Chapter 8: Homotopy theory 2024-07-11 13:06:18 +00:00

3 unresolved conversations

Open #9 Chapter 3: Sets and logic 2024-08-01 07:22:39 +00:00

Open #15 Chapter 6: Higher inductive types 2024-07-25 08:55:16 +00:00

Open #14 Study Theorem 3.2.2 2024-07-11 13:05:38 +00:00