GitHub repository: paigenorth/oplss
Primary language: TeX
Created: 2023-07-01T20:35:05Z
Description: Resources for my Homotopy Type Theory course at OPLSS 2023