UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham. ❤️ Homotopy Type Theory/Univalent Mathematics
University of Nottingham
Pinned Repositories
agda-unimath
The agda-unimath library
cubical-hott-agda
Version of the HoTT-Agda library based on Cubical Agda
git-vim
My vim files for Git
homebrew
The missing package manager for OS X.
HoTT
Homotopy type theory
HoTT-Agda
Development of homotopy type theory in Agda
HoTT-Intro
An introductory course to Homotopy Type Theory
nominal-hott
Experiments with nominal types in HoTT Agda
prtt
A type checker for primitive recursive type theory (prtt)
UlrikBuchholtz's Repositories
UlrikBuchholtz/nominal-hott
Experiments with nominal types in HoTT Agda
UlrikBuchholtz/cubical-hott-agda
Version of the HoTT-Agda library based on Cubical Agda
UlrikBuchholtz/git-vim
My vim files for Git
UlrikBuchholtz/homebrew
The missing package manager for OS X.
UlrikBuchholtz/HoTT
Homotopy type theory
UlrikBuchholtz/HoTT-Agda
Development of homotopy type theory in Agda
UlrikBuchholtz/HoTT-Intro
An introductory course to Homotopy Type Theory
UlrikBuchholtz/ILAUoN
University of Nottingham fork of Interactive Linear Algebra by Margalit & Rabinoff
UlrikBuchholtz/prtt
A type checker for primitive recursive type theory (prtt)
UlrikBuchholtz/agda-unimath
The agda-unimath library
UlrikBuchholtz/andromeda
A minimalist implementation of type theory, suitable for experimentation
UlrikBuchholtz/cubical
UlrikBuchholtz/cubical-demo
UlrikBuchholtz/Encyclopedia
An Open Encyclopedia of Proof Systems
UlrikBuchholtz/gt-linalg
Interactive Linear Algebra, free online textbook at Georgia Tech
UlrikBuchholtz/lean
Lean Theorem Prover
UlrikBuchholtz/leansnippets
Miscellaneous Lean code which doesn't belong in the standard library
UlrikBuchholtz/mathbook-assets
A fork of the UBC fork of Joe Rabinoff's (QBobWatson) fork of the mathbook-assets repository. This fork includes a University of Nottingham (UoN) theme.
UlrikBuchholtz/series-formelles
Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of formal series)
UlrikBuchholtz/tutorial
Lean Tutorials
UlrikBuchholtz/UlrikBuchholtz
My personal repository