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