Popular repositories Loading

1. ECI2025 ECI2025 Public

   Resources for the course "Interactive theorem provers: theory and practice" given at the Escuela de Ciencias Informáticas in July 2025 at the University of Buenos Aires

   Rocq Prover 17 5

2. oplss oplss Public

   Resources for my Homotopy Type Theory course at OPLSS 2023

   TeX 13

3. paigenorth.github.io paigenorth.github.io Public

   HTML 2 1

4. 241 241 Public

   Files for Math 241

   Jupyter Notebook 1

5. itp-hott itp-hott Public

   Coq 1

6. Schools Schools Public

   Forked from UniMath/Schools

   TeX