daniel gratzer
1,480
reputation
1
13
22
phd student in (categorical) type theory. Interested in higher categories and modal type theory.