Skip to content

@Lean-zh Lean 中文文档翻译

@Kamijoucen
kamijoucen Kamijoucen
@marichu-kt
@marichu_kt marichu-kt

White Rabbit Industries Zion, Earth’s Core Sector

@nelbetancur
Nel M. Betancur nelbetancur
art & architectural historian

National University of Colombia

@cbacode
cbacode
@jiang-che
Che Jiang jiang-che

Beijing

@MoveFast-2025
MoveFast-2025
@iehality
Palalansoukî iehality
ニョカマー パラランスキー 解かれた花束が光を放つ

Tohoku University

@SnO2WMaN
SnO₂WMaN SnO2WMaN
お前の好きなものが分かってよかった

チルノのパーフェクトさんすう教室

@Zhang-Liao
Zhang-Liao Zhang-Liao
@SakuraLaurel
樱花桂冠 SakuraLaurel
I write short codes quickly.

PKU 深セン, China

@Hyliu1222
Hyliu1222
@TyDHC
TyDHC
@chenyinheng30
chenyinheng30
nothing
@waste-of-kindergarten
Alfred Xiang waste-of-kindergarten
@ShreckYe
Yongshun Shreck Ye ShreckYe
Kotlin full stack developer, programming language theory / type theory enthusiast

@huanshankeji Chengdu

@HugoXANA
HugoXANA
@Lysanleo
Lysanleo Lysanleo

ClinWise

@s-cerevisiae
spore s-cerevisiae
@OlingCat
Oling Cat OlingCat
Just a little cat.

Hakurei Shrine Gensokyo

@Tristan-sdu
Tristan-sdu
@RexWzh
RexWang RexWzh
A PhD student in Computer Science at ECNU
@FushenYang
FushenYang
@ikeepo
ikeepo ikeepo
Craftsman: Input keep attached on Output

Vanter Guangzhou

@hewzhew
Hexropt hewzhew
@IRendy
IRendy IRendy
（悲）

Taiyuan University Taiyuan, China

@scottzyy
scottzyy
@CaSiOFT
CaSiOFT
@webDrag0n
Zexin Lin webDrag0n
student at CUHKSZ

Shenzhen, Guangdong, China

@Chitius
Yichuan Liu Chitius

Fudan University Shanghai

@XeanYu
蒋翔宇 XeanYu
Keep on going never give up.

China - NingXia YinChuan

@C233d
Lavendula C233d
@Scallions
Scallions_ Scallions
.`;/.

CACSM Wuhan

@101tom
101tom
@zgh2000
zgh2000
@xfc12
xfc12
@KEVINYZY
Kevin.Y KEVINYZY
https://blog.csdn.net/huluwaaaa

China Guangdong Shenzhen

@hehepig166
Zhu Zekai hehepig166
@inspirewind
Rui Li inspirewind
PhD student @ National Genomics Data Center(NGDC), with research interests in genome annotation and viral metagenome analysis.

University of Chinese Academy of Sciences Beijing

@amzonsir
Ting amzonsir
@HongLI3
koukou HongLI3
@cadake
cadake
@zcyemi
Zheng Chu zcyemi
Game Developer

ECNU Shanghai

@haoyun
Yun Hao haoyun
@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

@funny233-github
funny_233 funny233-github
@freyaya123
freyaya freyaya123
@SinarPandora
喵君｜SinarPandora SinarPandora
Scala is Magic | 前全栈工程师 | 斯普拉遁 3 游戏社区「加鱿站」运营 + 运维

liaoning dalian

@sunzhuo
sunzhuo
@inschrift-spruch-raum
inschrift-spruch-raum
@LogicalMonster
LogicalMonster