Daniel Gratzer
phd student in type theory
4
answers
1
question
~64k
people reached
-
Denmark
-
Member for 9 years, 2 months
-
19 profile views
-
Last seen May 27 '20 at 14:59
Communities (21)
Top network posts
Badges (19)
Gold
—
Silver
7
Rarest
-
Feb 4 '14