GitHub - TypeFunc/hott-notes: 15-819 (Homotopy Type Theory) Lecture Notes

Name		Name	Last commit message	Last commit date
Latest commit History 177 Commits
.gitignore		.gitignore
Makefile		Makefile
cancellation.tex		cancellation.tex
hott_references.bib		hott_references.bib
macros.tex		macros.tex
mathpartir.sty		mathpartir.sty
notes_week1.tex		notes_week1.tex
notes_week10.tex		notes_week10.tex
notes_week11.tex		notes_week11.tex
notes_week12.tex		notes_week12.tex
notes_week2.tex		notes_week2.tex
notes_week3.tex		notes_week3.tex
notes_week4.tex		notes_week4.tex
notes_week5.tex		notes_week5.tex
notes_week6.tex		notes_week6.tex
notes_week7.tex		notes_week7.tex
notes_week8.tex		notes_week8.tex
notes_week9.tex		notes_week9.tex
proof-dashed.sty		proof-dashed.sty
sphere.png		sphere.png