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 |