>:3
2020 resolution: BIG G R E E N ENERGY
lambda-calculus top 1000 theorem-proving top 1000 Global rank
# 740,934Topics of expertise
lambda-...
theorem...
OCaml
Location
Canberra
About
Zhuo Zoey Chen's main area of expertise is lambda-calculus , and is also an expert on theorem-proving and OCaml . Zhuo Zoey Chen is recognized as Lambda-calculus Top-1000 and Theorem-proving Top-1000 . A Github user since 2017 , Zhuo Zoey Chen is ranked as #740,934 globally .
Help us improve
If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]