Raspberry Pi Stack Exchange
Raspberry Pi Stack Exchange

Daniel Gratzer
133
reputation
7
  • Denmark
  • Member since November 19 2012
  • 0 profile views
  • Last seen Apr 23 '20 at 09:09

phd student in type theory