2024-05-11T20:37:20Z - 2024-05-18T20:37:20Z

Period: 1 week

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

Overview

0 Active Pull Requests

1 Active Issue

0
Merged Pull Requests 0
Proposed Pull Requests 1
Closed Issue 0
New Issues

Excluding merges, 1 author has pushed 6 commits to master and 6 commits to all branches. On master, 17 files have changed and there have been 753 additions and 272 deletions.

1 Issue closed from 1 user

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

4 Unresolved Conversations

Open #7 Chapter 2: Homotopy type theory 2024-05-18 19:49:26 +00:00

Open #9 Chapter 3: Sets and logic 2024-05-18 07:06:00 +00:00

Open #12 Decide on a research project 2024-05-17 06:05:36 +00:00

Open #13 Theorem 2.13.1 2024-05-16 14:33:42 +00:00