1,390
reputation
1
11
19

Daniel Gratzer

phd student in type theory

9
answers
4
questions
~29k
people reached

Top tags (21)

Score 28
Posts 5
Posts % 38
Score 26
Posts 4
Score 20
Posts 3
Score 16
Posts 4
Score 11
Posts 1
Score 11
Posts 1

Top posts (13) All Questions Answers | Votes Newest

View all questions and answers

Badges (31)

Gold

1

Rarest

Silver

11

Rarest

Bronze

19

Rarest