Runming
@runmingl@mathstodon.xyz
Joined: 11/02/2024
About Runming
PhD student at CMU PoP group, studying type theory and programming languages.
Lists
{username} has no public lists
Timeline
{username} has no activity yet
@runmingl@mathstodon.xyz
Joined: 11/02/2024
PhD student at CMU PoP group, studying type theory and programming languages.
{username} has no public lists
{username} has no activity yet