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