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

2024-10-13T00:52:07Z - 2024-11-13T00:52:07Z
Period: 1 month
1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

0 active pull requests
21 active issues
0
Merged pull requests 0
Proposed pull requests 13
Closed issues 17
New issues
Excluding merges, 1 author has pushed 47 commits to master and 48 commits to all branches. On master, 1157 files have changed and there have been 3606 additions and 182013 deletions.

1 release published by 1 user

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

13 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

17 issues created by 1 user

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

11 unresolved conversations

Open #23 Understand and define exact sequences 2024-11-05 10:04:51 +00:00

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

Open #26 Theorem 7.1.11 2024-10-20 19:07:09 +00:00

Open #25 Define LES 2024-10-16 08:22:19 +00:00

Open #28 Define the Hopf fibration 2024-10-16 06:42:37 +00:00

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

Open #19 Chapter 4: Equivalences 2024-10-15 05:09:02 +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 #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