Labels Milestones

New issue

thesis

0

in progress

1

done

Decide on a research project

#12 by michael was closed 2024-05-23 15:19:29 +00:00

0 / 3

0

Uncategorized

What is the behavior of I in the cubical definition of apd

#16 opened 2024-05-23 16:38:00 +00:00 by michael

Chapter 6: Higher inductive types

#15 opened 2024-05-20 21:51:14 +00:00 by michael

12 / 62

Study Theorem 3.2.2

#14 opened 2024-05-20 20:22:40 +00:00 by michael

Theorem 2.13.1

#13 by michael was closed 2024-06-01 00:34:56 +00:00

Thesis Project

#11 opened 2024-04-22 04:33:30 +00:00 by michael

1 / 1

Exercise 4.6: qinv-univalence

#10 opened 2023-05-18 08:27:33 +00:00 by michael

exercise

Chapter 3: Sets and logic

#9 opened 2023-05-18 05:40:39 +00:00 by michael

30 / 63

Chapter 2: Homotopy type theory

#7 by michael was closed 2024-07-25 02:16:02 +00:00

63 / 82

Exercise 2.4: n-dimensional path

#6 by michael was closed 2024-07-25 02:15:31 +00:00

exercise

Write a blog post for the fundamental group of a circle ≡ integers

#4 opened 2023-05-15 19:34:26 +00:00 by michael