Skip to content
View cheasonxie's full-sized avatar
4 followers · 3 following

Block or report cheasonxie

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@ESCOBA1988
ESCOBA1988
@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen

@bochen2027
Bo Chen bochen2027
@uestccokey
uestccokey

Weibo ChengDu,SiChuan