Stack Overflow
Stack Overflow

Daniel Gratzer
51,647
reputation
11
93
131
  • Denmark
  • Member since June 04 2011
  • 2593 profile views
  • Last seen May 24 '22 at 13:53

phd student in type theory