Giters
Emily Riehl (emilyriehl)

emilyriehl

Geek Repo

210

followers

2

following

0

stars

Company:Johns Hopkins University

Location:Baltimore, MD

Home Page:emilyriehl.github.io

Twitter:@emilyriehl

Github PK Tool:Github PK Tool

Emily Riehl's repositories

yoneda

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

Language:LeanStargazers:60Issues:6Issues:12

721

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

Language:TeXStargazers:33Issues:5Issues:0

emilyriehl.github.io

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

Language:HTMLLicense:MITStargazers:6Issues:1Issues:0

agda-unimath

Univalent mathematics in Agda

Language:AgdaLicense:MITStargazers:0Issues:0Issues:0

sHoTT

Formalisations for simplicial HoTT and synthetic ∞-categories.

Language:JavaScriptStargazers:0Issues:0Issues:0