Aspiring logician, studying maths (foundations of mathematics, constructive type theory).
I also really enjoy outdoorsy things (climbing/bouldering, running, hiking).

Pronouns are he/him.

XMPP: [email protected]
Blog: https://no-learns.neocities.org/

Avatar by @donguri_suzume0 on twitter