Popular repositories Loading

1. oplss oplss Public

   Resources for my Homotopy Type Theory course at OPLSS 2023

   TeX 9

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

   HTML 1 1

3. 241 241 Public

   Files for Math 241

   Jupyter Notebook 1

4. itp-hott itp-hott Public

   Coq 1

5. Schools Schools Public

   Forked from UniMath/Schools

   TeX

6. europroofnet.github.io europroofnet.github.io Public

   Forked from EuroProofNet/europroofnet.github.io

   Sources of the EuroProofNet web site.

   Ruby