Pinned Loading

1. yoneda yoneda Public

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

   Lean 68 6

2. infinity-cosmos infinity-cosmos Public

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

   TeX 80 19

3. 721 721 Public

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

   TeX 48 7

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

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

   HTML 7 2

5. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 2.4k 823

6. rzk-lang/sHoTT rzk-lang/sHoTT Public

   Formalisations for simplicial HoTT and synthetic ∞-categories.

   Markdown 51 12