Skip to content
View UlrikBuchholtz's full-sized avatar
50 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report UlrikBuchholtz

Report abuse

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

Report abuse
UlrikBuchholtz/README.md

Hi there 👋

Besides writing papers mostly in private repositories, I'm currently working on the Symmetry book: a textbook on group theory from the point of view of univalent mathematics in homotopy type theory.

Popular repositories Loading

  1. nominal-hott nominal-hott Public

    Experiments with nominal types in HoTT Agda

    Agda 9 3

  2. cubical-hott-agda cubical-hott-agda Public

    Version of the HoTT-Agda library based on Cubical Agda

    7 1

  3. git-vim git-vim Public

    Forked from motemen/git-vim

    My vim files for Git

    Vim Script 1

  4. homebrew homebrew Public

    Forked from Homebrew/legacy-homebrew

    The missing package manager for OS X.

    Ruby 1

  5. HoTT-Agda HoTT-Agda Public

    Forked from HoTT/HoTT-Agda

    Development of homotopy type theory in Agda

    Agda 1 2

  6. prtt prtt Public

    A type checker for primitive recursive type theory (prtt)

    1