Skip to main content
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 2 years, 5 months
  • Last seen more than a week ago
Stats
516
reputation
3k
reached
3
answers
0
questions
Loading…
About

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

This user doesn’t have any gold badges yet.
3
silver badges
12
bronze badges
20
Score
2
Posts
67
Posts %
20
Score
2
Posts
67
Posts %
17
Score
1
Posts
33
Posts %
17
Score
1
Posts
33
Posts %
17
Score
1
Posts
33
Posts %
14
Score
1
Posts
33
Posts %
Top posts