1,420
reputation
1
13
19

Daniel Gratzer

phd student in type theory

9
answers
4
questions
~31k
people reached

Top tags (21)

Score 29
Posts 5
Posts % 38
Score 27
Posts 4
Score 20
Posts 3
Score 16
Posts 4
Score 12
Posts 1
Score 11
Posts 1

Top posts (13)

View all questions and answers

Badges (33)

Gold

1

Rarest

Silver

13

Rarest

Bronze

19

Rarest