This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

Yee-Jian Tan

@yeejian_tan@mathstodon.xyz

Joined: 06/19/2024



About Yee-Jian Tan

Masters 2 student in MPRI in Paris. Interested in Type Theory, Proof Assistants, and Mathematical Logic.

Lists

yeejian_tan has no public lists

Timeline

yeejian_tan has no activity yet