This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
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