Skip to main content
Share Your Experience: Take the 2024 Developer Survey
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 9 years, 8 months
  • Last seen this week
Stats
323
reputation
2k
reached
0
answers
2
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.
1
silver badge
11
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts