User Trebor - MathOverflow Stack Exchange

Trebor

1,031

reputation

Internal cat of a doughnut
Member since March 04 2019
162 profile views
Last seen Apr 06 '24 at 10:05

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