Shing Hin Ho
@shinghin@mathstodon.xyz
Joined: 11/11/2023
About Shing Hin Ho
PhD student interested in logic and programming languages
Lists
shinghin has no public lists
Timeline
shinghin has no activity yet
@shinghin@mathstodon.xyz
Joined: 11/11/2023
PhD student interested in logic and programming languages
shinghin has no public lists
shinghin has no activity yet