已退役

已退役。研究生方向为数学定理自动化证明,欢迎学术交流!
文章
43
评论
8
加入时间
3年前
等级
排名
418
学校
南京大学