2023-11-13T00:49:24Z - 2024-11-13T00:49:24Z

Overview

0 active pull requests
43 active issues
Excluding merges, 2 authors have pushed 232 commits to master and 233 commits to all branches. On master, 1409 files have changed and there have been 239679 additions and 186865 deletions.

1 release published by 1 user

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

22 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

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 #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

35 issues created by 1 user

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

Opened #12 Decide on a research project 2024-04-22 04:35:00 +00:00

Opened #13 Theorem 2.13.1 2024-04-25 13:28:05 +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 #17 Email the author of the paper 2024-06-03 04:23:13 +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

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

2 unresolved conversations

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

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