Emily Riehl
@emilyriehlLanguage Breakdown
Lines of code distribution across 5 owned repositories
T-Shaped Developer
T-shapedDeep in Lean with broad versatility
Collaboration Network
Global Impact visualization
Repos
22
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Top Repositories
A blueprint for a formalization of infinity-cosmos theory in Lean.
comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.
Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
An agda library for developing synthetic category theory - and other synthetic mathematics
Hosts the website for mathlib and other Lean community infrastructure.
The math library of Lean 4
Source for the community blog
Formalisations for simplicial HoTT and synthetic ∞-categories.
Open Source Impact
Contributions to external projects
