Tan Yee Jian

Math & Computer Science @ National University of Singapore

I love playing the piano during my free time. Currently interested in in Type Theory and Theorem Provers.