sattlerc/hott-reading-course

Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science and Engineering

语言：TeX · GitHub 星标：14 · Fork：1

在 GitHub 上查看原仓库