Thomas🪴

lipsumdev@mathstodon.xyz

<p>Mainly talking about Mathematics and Computer Science. Right now, trying to learn Type Theory, both from a theoretical and practical perspective.</p>