Tesla Zhang
千里冰封
 
 
Student, up to dependent type theory, 3A yoyoing, substructural logic
Sin conexión
Expositor de completista
Comentarios
murasameQAQ 26 JUN 2022 a las 8:38 p. m. 
SenPai!!!! tietie
󠀡󠀡 25 AGO 2020 a las 3:06 a. m. 
Senpai~ (つ≧▽≦)つ