Yee-Jian Tan
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
Joined: 06/19/2024
Masters 2 student in MPRI in Paris. Interested in Type Theory, Proof Assistants, and Computational Logic.
yeejian_tan has no public lists
yeejian_tan has no activity yet