This website requires JavaScript.
Explore
Help
Register
Sign In
school
/
type-theory
Watch
2
Star
0
Fork
You've already forked type-theory
0
Code
Issues
8
Pull Requests
Packages
Projects
2
Releases
Wiki
Activity
Labels
Milestones
New Issue
8 Open
5 Closed
Label
Show archived labels
Use
alt
+
click/enter
to exclude labels
All labels
No label
asking-favonia
exercise
T-equivalence
Milestone
All milestones
No milestones
Project
All projects
No project
Open Projects
going through the hott book
thesis
Author
All authors
Assignee
All assignees
No assignee
michael
Sort
Newest
Oldest
Recently updated
Least recently updated
Most commented
Least commented
Nearest due date
Farthest due date
8 Open
5 Closed
Close
Label
Clear labels
asking-favonia
exercise
T-equivalence
Milestone
No milestone
Projects
Clear projects
Open Projects
going through the hott book
thesis
Assignee
Clear assignees
No assignee
michael
Theorem 2.13.1
1
#13
opened
2024-04-25 13:28:05 +00:00
by
michael
going through the hott book
Decide on a research project
2
#12
opened
2024-04-22 04:35:00 +00:00
by
michael
thesis
0 / 3
Thesis Project
#11
opened
2024-04-22 04:33:30 +00:00
by
michael
thesis
0 / 1
Exercise 4.6: qinv-univalence
exercise
#10
opened
2023-05-18 08:27:33 +00:00
by
michael
going through the hott book
Chapter 3: Sets and logic
#9
opened
2023-05-18 05:40:39 +00:00
by
michael
going through the hott book
4 / 61
Chapter 2: Homotopy type theory
1 day 8 hours
#7
opened
2023-05-16 14:05:07 +00:00
by
michael
going through the hott book
39 / 77
2024-06-01
Exercise 2.4: n-dimensional path
exercise
1
#6
opened
2023-05-15 23:27:47 +00:00
by
michael
going through the hott book
Write a blog post for the fundamental group of a circle ≡ integers
#4
opened
2023-05-15 19:34:26 +00:00
by
michael
going through the hott book