This website requires JavaScript.
Explore
Help
Sign in
michael
/
type-theory
Watch
2
Star
0
Fork
You've already forked type-theory
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
7 Open
3 Closed
Label
Show archived labels
Use
alt
+
click/enter
to exclude labels
All labels
No label
exercise
hott-book-chapter
questions
size
L
spectral
stuck
Milestone
All milestones
No milestones
Project
All projects
No project
Open projects
research
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
7 Open
3 Closed
Close
Label
Clear labels
exercise
hott-book-chapter
questions
size
L
spectral
stuck
Milestone
No milestone
Projects
Clear projects
Open projects
research
Assignee
Clear assignees
No assignee
michael
FvD Thesis Theorem 5.4.12
spectral
#43
opened
2024-10-21 05:06:03 +00:00
by
michael
research
LES Step 1
spectral
1
#40
opened
2024-10-16 08:22:13 +00:00
by
michael
research
Prove Lemma 4.1.5 from FvD's thesis
spectral
#36
opened
2024-10-15 05:39:41 +00:00
by
michael
research
Formalize section 4.1, proving π₃(S²) ≃ ℤ
spectral
#35
opened
2024-10-15 05:06:29 +00:00
by
michael
research
0 / 7
Define LES
spectral
3
#25
opened
2024-10-10 06:17:19 +00:00
by
michael
research
0 / 5
Understand and define exact couples
spectral
#24
opened
2024-10-07 18:15:29 +00:00
by
michael
research
Understand and define exact sequences
spectral
2
#23
opened
2024-10-07 18:11:39 +00:00
by
michael
research