Emily Riehl
Results
1
repositories owned by
Emily Riehl
721
15
Stars
8
Forks
Watchers
Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
