Pulse Contributors Code frequency Recent commits

2024-04-06T21:23:52Z - 2024-10-06T21:23:52Z

Period: 6 months

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

Overview

0 active pull requests

17 active issues

0
Merged pull requests 0
Proposed pull requests 9
Closed issues 8
New issues

Excluding merges, 2 authors have pushed 181 commits to master and 181 commits to all branches. On master, 263 files have changed and there have been 55031 additions and 4751 deletions.

9 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

Closed #13 Theorem 2.13.1 2024-06-01 00:34:56 +00:00

Closed #12 Decide on a research project 2024-05-23 15:19:29 +00:00

Closed #2 Path between fibers for boolean equivalence 2024-05-16 14:09:44 +00:00

Closed #8 Exercise 2.13: (2 ≃ 2) ≃ 2 2024-05-08 23:34:24 +00:00

Closed #5 [Thesis Project] Port cohomology paper to cubical Agda 2024-04-22 04:32:43 +00:00

8 issues created by 1 user

Opened #11 Thesis Project 2024-04-22 04:33:30 +00:00

Opened #14 Study Theorem 3.2.2 2024-05-20 20:22:40 +00:00

Opened #15 Chapter 6: Higher inductive types 2024-05-20 21:51:14 +00:00

Opened #16 What is the behavior of I in the cubical definition of apd 2024-05-23 16:38:00 +00:00

Opened #18 MayConcise Chapter 1 Problems 2024-06-03 04:24:14 +00:00

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 #4 Write a blog post for the fundamental group of a circle ≡ integers 2024-05-24 01:34:36 +00:00

Open #10 Exercise 4.6: qinv-univalence 2024-05-24 01:34:36 +00:00