daniel gratzer
11,726
reputation
3
47
51
phd student in (categorical) type theory. Interested in higher categories and modal type theory.