michael/type-theory
2
0
Fork 0
Code Issues 21 Pull requests Projects 1 Releases 1 Packages Wiki Activity Actions
Thesis Project
#11 opened 2024-04-22 04:33:30 +00:00 by michael
1 / 3

Labels Milestones

Fuzzy
Fuzzy
Exact
New issue
5 Open 1 Closed
Label
Clear labels
exercise
hott-book-chapter
questions
size
L
stuck
Milestone
No milestone
Projects
Clear projects
Open projects
research
Assignee
Clear assignees
No assignee
michael
Chapter 8: Homotopy theory
hott-book-chapter
#22 opened 2024-07-11 13:06:18 +00:00 by michael 1 / 83 2024-11-01
Chapter 7: Homotopy n-types
hott-book-chapter
#21 opened 2024-07-11 13:02:43 +00:00 by michael 9 / 86 2024-10-01
Chapter 4: Equivalences
hott-book-chapter
#19 opened 2024-07-10 21:58:41 +00:00 by michael 5 / 53 2024-08-01
Chapter 6: Higher inductive types
hott-book-chapter
#15 opened 2024-05-20 21:51:14 +00:00 by michael research 12 / 62 2024-09-01
Chapter 3: Sets and logic
hott-book-chapter
#9 opened 2023-05-18 05:40:39 +00:00 by michael research 30 / 63 2024-08-01