Stack Overflow
Stack Overflow

Daniel Gratzer
49,751
reputation
11
87
127
  • Denmark
  • Member since June 04 2011
  • 2493 profile views
  • Last seen May 15 '21 at 16:16

phd student in type theory