Skip to content
View pangafu's full-sized avatar
11 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruck
Block or Report

Block or report pangafu

Report abuse

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

Report abuse
@JTAG-Romney
JTAG Romney JTAG-Romney
@JBX2010
JBX2010
@zinwalin
Oops zinwalin
Oops.

Wellington

@lhwin
lhwin
@4ce-coder
McSwanky 4ce-coder
Code-aholic
@poptangtwe
poptangtwe
@SHKD13
Ruslan SHKD13
@jpturcotte
J.P. Turcotte jpturcotte
@abunickabhi
Abhijeet Gokar abunickabhi
Development in FPGAs, particle physics and HEP Instrumentation.

@tifr Mumbai

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

Shenzhen / Heidelberg