953
reputation
7
11

Daniel Gratzer

phd student in type theory

4
answers
1
question
~60k
people reached

Top tags (6)

Score 69
Posts 4
Posts % 80
Score 25
Posts 1
Score 25
Posts 1
Score 2
Posts 1
Score 2
Posts 1
Score 2
Posts 1

Top posts (5)

Badges (18)

Gold

Silver

7

Rarest

Bronze

11

Rarest