Stack Overflow
Stack Overflow

Trebor
307
reputation
2
10
  • Internal cat of a doughnut
  • Member since January 17 2019
  • 16 profile views
  • Last seen Sep 01 '23 at 13:32

I'm an undergraduate student interested in maths and type theory.