Suzuka Yu

https://vertin.me

Xi'an Jiaotong University Undergraduate in Mathematics. Interested in algebra, formalized mathematics and mathematical philosophy.