About Thomas🪴

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

Lists

Timeline

lipsumdev has no activity yet