daniel gratzer

11,678
reputation
3
46
51

phd student in (categorical) type theory. Interested in higher categories and modal type theory.