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