Mathematics

Trebor
5,733
reputation
  • Internal cat of a doughnut
  • Member since August 15 2018
  • 1484 profile views
  • Last seen Jan 04 '26 at 07:38

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