This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
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 Computational Logic.
Lists
yeejian_tan has no public lists
Timeline
yeejian_tan has no activity yet