Daniel Gratzer
phd student in type theory
9
answers
4
questions
~33k
people reached
-
Denmark
-
Member for 9 years
-
85 profile views
-
Last seen Feb 16 at 9:16
Communities (21)
Top network posts
Badges (34)
Gold
1
Rarest
-
Jan 16 '18
Silver
13
Rarest
-
Apr 19
-
Dec 25 '16