UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham. ❤️ Homotopy Type Theory/Univalent Mathematics
University of Nottingham
UlrikBuchholtz's Stars
Homebrew/legacy-homebrew
💀 The former home of Homebrew/homebrew (deprecated)
motemen/git-vim
My vim files for Git
andrejbauer/Homotopy
Homotopy theory in Coq.
UlrikBuchholtz/git-vim
My vim files for Git
UlrikBuchholtz/homebrew
The missing package manager for OS X.