Introduction: Qinggao Hong

Stream: new members

[Qinggao Hong]

Hi everyone! My name is Qinggao Hong. I'm from Beijing, China. Currently, I'm an undergraduate student studying computer science and logic at UC Berkeley. I did the Natural Number Game and loved it! Now I'm reading Mathematics in Lean and plan to formalize some theorems in logic in Mathlib. I’m excited to join this community and look forward to learning from you all!

[Alok Singh]

@Winston Yin (尹維晨) is in Berkeley too, I’m in Boston right now but also live there