11,460
reputation
3
43
51

Daniel Gratzer

phd student in type theory

77
answers
4
questions
~309k
people reached

Top tags (93)

Score 248
Posts 21
Posts % 26
Score 191
Posts 12
Score 182
Posts 17
Score 160
Posts 7
Score 112
Posts 15
Score 65
Posts 8

Top posts (81)

View all questions and answers

Badges (97)

Gold

3

Rarest

Silver

43

Rarest

Bronze

51

Rarest