Pulse Contributors Code frequency Recent commits

2024-08-28T00:26:55Z - 2024-11-28T00:26:55Z

Period: 3 months

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

Overview

0 active pull requests

29 active issues

0
Merged pull requests 0
Proposed pull requests 14
Closed issues 24
New issues

Excluding merges, 1 author has pushed 68 commits to master and 69 commits to all branches. On master, 1203 files have changed and there have been 186346 additions and 182625 deletions.

1 release published by 1 user

Pre-release 2024-grads-talk-rev1 2024 GRaDS talk 2024-10-16 06:30:00 +00:00

14 issues closed from 1 user

Closed #46 Prove the five lemma for groups 2024-11-05 09:26:34 +00:00

Closed #48 Five lemma (n is injective) 2024-11-05 09:25:33 +00:00

Closed #47 Five lemma (n is surjective) 2024-11-05 07:16:15 +00:00

Closed #37 Define SuccStr over N x fib(k) 2024-10-29 01:20:59 +00:00

Closed #44 Exercise 3.5 2024-10-28 23:56:59 +00:00

Closed #4 Fundamental group of a circle ≡ integers talk 2024-10-20 19:05:35 +00:00

Closed #34 Theorem 7.1.10 2024-10-20 08:06:09 +00:00

Closed #41 Lemma 3.11.4 2024-10-20 07:54:10 +00:00

Closed #31 Theorem 7.1.8 2024-10-15 04:53:55 +00:00

Closed #33 Theorem 2.7.2 2024-10-15 04:33:58 +00:00

Closed #30 Theorem 7.1.9 2024-10-15 02:10:12 +00:00

Closed #32 Theorem 7.1.7 2024-10-15 01:43:30 +00:00

Closed #27 Theorem 7.1.6 2024-10-15 01:34:36 +00:00

Closed #16 What is the behavior of I in the cubical definition of apd 2024-10-07 18:09:43 +00:00

24 issues created by 1 user

Opened #23 Understand and define exact sequences 2024-10-07 18:11:39 +00:00

Opened #24 Understand exact couples 2024-10-07 18:15:29 +00:00

Opened #25 Define LES 2024-10-10 06:17:19 +00:00

Opened #26 Theorem 7.1.11 2024-10-10 06:29:26 +00:00

Opened #27 Theorem 7.1.6 2024-10-11 02:15:38 +00:00

Opened #28 Define the Hopf fibration 2024-10-11 21:05:14 +00:00

Opened #29 8.3 π_{k≤n} of an n-connected space and π_{k<n}(S^n) 2024-10-11 21:06:27 +00:00

Opened #30 Theorem 7.1.9 2024-10-15 01:37:38 +00:00

Opened #31 Theorem 7.1.8 2024-10-15 01:43:03 +00:00

Opened #32 Theorem 7.1.7 2024-10-15 01:43:10 +00:00

Opened #33 Theorem 2.7.2 2024-10-15 02:11:21 +00:00

Opened #34 Theorem 7.1.10 2024-10-15 04:58:11 +00:00

Opened #35 Formalize section 4.1, proving π₃(S²) ≃ ℤ 2024-10-15 05:06:29 +00:00

Opened #36 Prove Lemma 4.1.5 from FvD's thesis 2024-10-15 05:39:41 +00:00

Opened #37 Define SuccStr over N x fib(k) 2024-10-15 21:38:02 +00:00

Opened #40 LES Step 1 2024-10-16 08:22:13 +00:00

Opened #41 Lemma 3.11.4 2024-10-20 07:52:00 +00:00

Opened #42 Lemma 7.3.1 2024-10-20 19:04:40 +00:00

Opened #43 FvD Thesis Theorem 5.4.12 2024-10-21 05:06:03 +00:00

Opened #44 Exercise 3.5 2024-10-28 23:56:33 +00:00

Opened #45 Find out some backup project ideas 2024-10-29 05:14:31 +00:00

Opened #46 Prove the five lemma for groups 2024-11-02 19:50:01 +00:00

Opened #47 Five lemma (n is surjective) 2024-11-05 07:13:44 +00:00

Opened #48 Five lemma (n is injective) 2024-11-05 07:13:50 +00:00

7 unresolved conversations

Open #11 Thesis Project 2024-10-21 05:06:43 +00:00

Open #18 MayConcise Chapter 1 Problems 2024-10-15 05:09:25 +00:00

Open #9 Chapter 3: Sets and logic 2024-10-15 05:09:02 +00:00

Open #15 Chapter 6: Higher inductive types 2024-10-15 05:09:02 +00:00

Open #19 Chapter 4: Equivalences 2024-10-15 05:09:02 +00:00

Open #22 Chapter 8: Homotopy theory 2024-10-15 05:09:02 +00:00

Open #21 Chapter 7: Homotopy n-types 2024-10-15 05:09:02 +00:00