ReasLab @ BICMR
Users following reaslab
SunXuran
griseoh135
griseoh135 /SunXuran
本科数学系学生 | 南京大学 (NJU)
中国南京 | 仙林校区
专注于：
• 数学基础理论 (分析、代数、几何)
• 形式化验证 (Formal Verification)，lean4
中国
Yongshun Ye
ShreckYe
Kotlin full stack developer; programming language theory (functional programming, type theory, formal math, etc.) enthusiast
@huanshankeji Chengdu
Guilherme Lima
guilhermez2006
Análise e Desenv. de Sistemas - Senai 3/4
Html/Css/JavaScript/NodeJs/MongoDb/ Git
Brasil
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
ZiyangXu
StatXzy7
AI for Science, Bioinformatics, Medical Image Processing
The Chinese University of Hong Kong Hong Kong SAR, China
