daniel gratzer
52,833
reputation
11
94
134
phd student in (categorical) type theory. Interested in higher categories and modal type theory.