Popular repositories Loading

1. oplss oplss Public

   Resources for my Homotopy Type Theory course at OPLSS 2023

   TeX 13

2. paigenorth.github.io paigenorth.github.io Public

   HTML 2 1

3. 241 241 Public

   Files for Math 241

   Jupyter Notebook 1

4. itp-hott itp-hott Public

   Coq 1

5. mastermath-hott-2026 mastermath-hott-2026 Public

   Files for the 2026 edition of Mastermath Homotopy Type Theory

   TeX 1

6. Schools Schools Public

   Forked from UniMath/Schools

   TeX