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