About Yee-Jian Tan

PhD student in KU Leuven, Belgium. Interested in Type Theory, Proof Assistants, and Computational Logic.

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet