@yeejian_tan@mathstodon.xyz
Joined: 06/19/2024
20
Followers
45
Following
Masters 2 student in MPRI in Paris. Interested in Type Theory, Proof Assistants, and Mathematical Logic.
yeejian_tan has no public lists
yeejian_tan has no activity yet