Skip to main content
The 2024 Developer Survey results are live! See the results
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 12 years, 6 months
  • Last seen more than a week ago
Stats
11,746
reputation
356k
reached
77
answers
4
questions
Loading…
About

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

3
gold badges
47
silver badges
51
bronze badges
252
Score
21
Posts
26
Posts %
197
Score
12
Posts
15
Posts %
189
Score
17
Posts
21
Posts %
163
Score
7
Posts
9
Posts %
115
Score
15
Posts
19
Posts %
69
Score
8
Posts
10
Posts %
Top posts
View all questions and answers