hi! not my real name :3

I like maths; interests include combinatorics, homotopy type theory, integer sequences, and information theory; is an amateur.

this user barely knows how to create userboxes
this user is a finitist for fun and profit
this user is colourblind. help
this user had more font colours to use than background colours