963
reputation
7
11

Daniel Gratzer

phd student in type theory

4
answers
1
question
~62k
people reached

Top tags (6)

Score 70
Posts 4
Posts % 80
Score 26
Posts 1
Score 26
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