rstammer/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
Developer Profile
rstammer
Discovered public repositories for rstammer in the GitHub catalog.
rstammer/kneipenquiz
legaacy db-backed quiz app for upcoming support of legendary Zimt&Zunder Kneipenquiz™
rstammer/latex-examples
Collection of nice templates for everyday LaTeX use
rstammer/dotfiles
Public repository.