Yee-Jian Tan
@yeejian_tan@mathstodon.xyz
Joined: 06/19/2024
About Yee-Jian Tan
PhD student in KU Leuven, Belgium. Interested in Type Theory, Proof Assistants, and Computational Logic.
Lists
yeejian_tan has no public lists
Timeline
{username} has no activity yet