Dimitris Vardoulakis
@dimvar@mathstodon.xyz
Joined: 16/12/2022
About Dimitris Vardoulakis
Software engineer working on machine learning compilers. My math interests include logic, type theory, and interactive proof assistants.
Lists
{username} has no public lists
Timeline
{username} has no activity yet