Pinned Loading

1. yoneda yoneda Public

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

   Lean 61 6

2. infinity-cosmos infinity-cosmos Public

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

   TeX 51 9

3. 721 721 Public

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

   TeX 47 7

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 7 3

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

   The math library of Lean 4

   Lean 1.8k 378

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

   Formalisations for simplicial HoTT and synthetic ∞-categories.

   Markdown 48 11