User Trebor - Theoretical Computer Science Stack Exchange

Trebor

345

reputation

1

7

Internal cat of a doughnut
Member since July 26 2021
11 profile views
Last seen Apr 01 '24 at 14:48

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