HoTTEST-Summer-School/HoTT at main · aljungstrom/HoTTEST-Summer-School · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
Q-and-A		Q-and-A
Worksheets		Worksheets
HoTTEST_Lecture_1.pdf		HoTTEST_Lecture_1.pdf
HoTTEST_Lecture_2.pdf		HoTTEST_Lecture_2.pdf
HoTTEST_Lecture_3.pdf		HoTTEST_Lecture_3.pdf
HoTTEST_Lecture_4.pdf		HoTTEST_Lecture_4.pdf
HoTTEST_Lecture_4_live.pdf		HoTTEST_Lecture_4_live.pdf
HoTTEST_Lecture_5.pdf		HoTTEST_Lecture_5.pdf
HoTTEST_Lecture_5_live.pdf		HoTTEST_Lecture_5_live.pdf
HoTTEST_Lecture_6.pdf		HoTTEST_Lecture_6.pdf
HoTTEST_Lecture_6_live.pdf		HoTTEST_Lecture_6_live.pdf
HoTTEST_Lecture_7_live.pdf		HoTTEST_Lecture_7_live.pdf
HoTTEST_Lecture_8_live.pdf		HoTTEST_Lecture_8_live.pdf
HoTTEST_Lecture_9_live.pdf		HoTTEST_Lecture_9_live.pdf
HoTTEST_Lectures_10-12.pdf		HoTTEST_Lectures_10-12.pdf
HoTTEST_Lectures_7-9.pdf		HoTTEST_Lectures_7-9.pdf
HoTTEST_Lectures_7-9.tex		HoTTEST_Lectures_7-9.tex
README.md		README.md
hott-intro.pdf		hott-intro.pdf

README.md

HoTT materials and exercises

Additional material

Introduction to HoTT (Egbert Rijke)