Popular repositories Loading

1. yoneda yoneda Public

   comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories

   Lean 60 6

2. 721 721 Public

   Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021

   TeX 37 6

3. infinity-cosmos infinity-cosmos Public

   A blueprint for a formalization of infinity-cosmos theory in Lean.

   TeX 33 5

4. emilyriehl.github.io emilyriehl.github.io Public

   Forked from academicpages/academicpages.github.io

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   HTML 6 3

5. agda-unimath agda-unimath Public

   Forked from UniMath/agda-unimath

   Univalent mathematics in Agda

   Agda

6. sHoTT sHoTT Public

   Forked from jonalfcam/sHoTT

   Formalisations for simplicial HoTT and synthetic ∞-categories.

   JavaScript