User Trebor - Computer Science Stack Exchange

Trebor

230

reputation

1

10

Internal cat of a doughnut
Member since August 16 2018
34 profile views
Last seen Jul 10 '25 at 13:04

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