2023-11-13T00:49:24Z - 2024-11-13T00:49:24Z
Overview
1 release published by 1 user
Pre-release
2024-grads-talk-rev1
2024 GRaDS talk
22 issues closed from 1 user
Closed
#46 Prove the five lemma for groups
Closed
#48 Five lemma (n is injective)
Closed
#47 Five lemma (n is surjective)
Closed
#37 Define SuccStr over N x fib(k)
Closed
#44 Exercise 3.5
Closed
#4 Fundamental group of a circle ≡ integers talk
Closed
#34 Theorem 7.1.10
Closed
#41 Lemma 3.11.4
Closed
#31 Theorem 7.1.8
Closed
#33 Theorem 2.7.2
Closed
#30 Theorem 7.1.9
Closed
#32 Theorem 7.1.7
Closed
#27 Theorem 7.1.6
Closed
#16 What is the behavior of I in the cubical definition of apd
Closed
#7 Chapter 2: Homotopy type theory
Closed
#6 Exercise 2.4: n-dimensional path
Closed
#17 Email the author of the paper
Closed
#13 Theorem 2.13.1
Closed
#12 Decide on a research project
Closed
#2 Path between fibers for boolean equivalence
Closed
#8 Exercise 2.13: (2 ≃ 2) ≃ 2
Closed
#5 [Thesis Project] Port cohomology paper to cubical Agda
35 issues created by 1 user
Opened
#11 Thesis Project
Opened
#12 Decide on a research project
Opened
#13 Theorem 2.13.1
Opened
#14 Study Theorem 3.2.2
Opened
#15 Chapter 6: Higher inductive types
Opened
#16 What is the behavior of I in the cubical definition of apd
Opened
#17 Email the author of the paper
Opened
#18 MayConcise Chapter 1 Problems
Opened
#19 Chapter 4: Equivalences
Opened
#21 Chapter 7: Homotopy n-types
Opened
#22 Chapter 8: Homotopy theory
Opened
#23 Understand and define exact sequences
Opened
#24 Understand exact couples
Opened
#25 Define LES
Opened
#26 Theorem 7.1.11
Opened
#27 Theorem 7.1.6
Opened
#28 Define the Hopf fibration
Opened
#29 8.3 π_{k≤n} of an n-connected space and π_{k<n}(S^n)
Opened
#30 Theorem 7.1.9
Opened
#31 Theorem 7.1.8
Opened
#32 Theorem 7.1.7
Opened
#33 Theorem 2.7.2
Opened
#34 Theorem 7.1.10
Opened
#35 Formalize section 4.1, proving π₃(S²) ≃ ℤ
Opened
#36 Prove Lemma 4.1.5 from FvD's thesis
Opened
#37 Define SuccStr over N x fib(k)
Opened
#40 LES Step 1
Opened
#41 Lemma 3.11.4
Opened
#42 Lemma 7.3.1
Opened
#43 FvD Thesis Theorem 5.4.12
Opened
#44 Exercise 3.5
Opened
#45 Find out some backup project ideas
Opened
#46 Prove the five lemma for groups
Opened
#47 Five lemma (n is surjective)
Opened
#48 Five lemma (n is injective)
2 unresolved conversations
Open
#9
Chapter 3: Sets and logic
Open
#10
Exercise 4.6: qinv-univalence