Course notes for Pure Mathematics Topic D 2019
TeX
54
32 commits
updated Apr 6, 2020
Course notes for Pure Mathematics Topic D 2019. There were 30 lectures.
Topic outline
andrejbauer/homotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
313
EgbertRijke/HoTT-Intro
An introductory course to Homotopy Type Theory
373
andrejbauer/Homotopy
Homotopy theory in Coq.
90
cmu-phil/Spectral
50
abuseofnotation/category-theory-illustrated
A book about category theory
486
HoTT/EPIT-2020
EPIT 2020 - Spring School on Homotopy Type Theory
111
HoTT/HoTT-Agda
Development of homotopy type theory in Agda
442
ImperialCollegeLondon/formalising-mathematics
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version…
317
100.0%