RobertHarper/hott-notes

15-819 (Homotopy Type Theory) Lecture Notes

TeX

148 commits

updated Aug 11, 2020

See the code

README

15-819 (Homotopy Type Theory) Lecture Notes

Per-commit PDFs can be downloaded from GitHub Actions. See the detailed instructions for downloading artifacts

Contributors

29 commits

22 commits

16 commits

14 commits

Similar repos

andrejbauer/Homotopy

Homotopy theory in Coq.

martinescardo/HoTTEST-Summer-School

HoTTEST Summer School materials

339

ToposInstitute/poly

134

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

EgbertRijke/HoTT-Intro

An introductory course to Homotopy Type Theory

373

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

benediktahrens/CT4P

nushio3/learn-haskell

167

Languages

TeX

99.9%

RobertHarper/hott-notes

15-819 (Homotopy Type Theory) Lecture Notes

TeX

148 commits

updated Aug 11, 2020

See the code

README

15-819 (Homotopy Type Theory) Lecture Notes

Per-commit PDFs can be downloaded from GitHub Actions. See the detailed instructions for downloading artifacts

Similar repos

andrejbauer/Homotopy

Homotopy theory in Coq.

martinescardo/HoTTEST-Summer-School

HoTTEST Summer School materials

339

ToposInstitute/poly

134

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

EgbertRijke/HoTT-Intro

An introductory course to Homotopy Type Theory

373

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

135

benediktahrens/CT4P

nushio3/learn-haskell

167

Contributors

29 commits

22 commits

16 commits

14 commits

Languages

TeX

99.9%