176
reputation
6

Daniel Gratzer

phd student in type theory

1
answer
1
question
~3k
people reached

Top tags (6)

Score 4
Posts 1
Posts % 50
Score 4
Posts 1
Score 4
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2) All Questions Answers | Votes Newest

Badges (6)

Gold

Silver

Bronze

6

Rarest