avatar

Shing Hin Ho

@shinghin@mathstodon.xyz

Joined: 11/11/2023



About Shing Hin Ho

PhD student interested in logic and programming languages

Lists

{username} has no public lists

Timeline

{username} has no activity yet