8000 emilyriehl (emilyriehl) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View emilyriehl's full-sized avatar
268 followers · 3 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Starstruck

Block or report emilyriehl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • 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 MIT License Updated May 16, 2025

  • infinity-cosmos Public

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

    TeX 62 10 Apache License 2.0 Updated May 15, 2025

  • yoneda Public

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

    Lean 63 6 Updated Oct 16, 2024

  • blog Public

    Forked from herostrat/blog

    Source for the community blog

    Python Updated Sep 10, 2024

  • sHoTT Public

    Forked from jonalfcam/sHoTT

    Formalisations for simplicial HoTT and synthetic ∞-categories.

    JavaScript Updated Sep 21, 2023

  • agda-unimath Public

    Forked from UniMath/agda-unimath

    Univalent mathematics in Agda

    Agda MIT License Updated Sep 1, 2023

  • 721 Public

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

    TeX 47 7 Updated Dec 12, 2021
0