This is your work, valued

Baltimore, MD

Emily Riehl

Elite
@emilyriehl

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

106

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

77

ReintroductionToProofs. A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.

69

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

53

emilyriehl.github.io. Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

12