Lean 中文文档翻译
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
daxger x
hongchx5
a student in SUN YAT-SEN UNIVERSITY. I want to study in Github and try to make some contributions to the community.
Sun Yat-sen University Guangdong，China
CHENG KUN
ck76
一期一会
Software Engineering is about tradeoffs, there is no one right answer.
NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai
