Thomas Porter
@tjp@mathstodon.xyz
Joined: 10/08/2024
About Thomas Porter
Dependent type theory and editor design
Lists
{username} has no public lists
Timeline
{username} has no activity yet
@tjp@mathstodon.xyz
Joined: 10/08/2024
Dependent type theory and editor design
{username} has no public lists
{username} has no activity yet