Tesla Zhang
千里冰封
 
 
Student, up to dependent type theory, 3A yoyoing, substructural logic
Zurzeit offline
Kommentare
murasameQAQ 26. Juni 2022 um 20:38 
SenPai!!!! tietie
󠀡󠀡 25. Aug. 2020 um 3:06 
Senpai~ (つ≧▽≦)つ