Hong Kong

Stream: Geographic locality

[Moin Ahmed Qidwai]

Hi All,
Anyone else from Hong Kong here?

[Kenny Lau]

me and @Shing Tak Lam I believe

[Moin Ahmed Qidwai]

Awesome!
Have you been using Lean for long? Just playing or using it for some projects?

[Kenny Lau]

I have been using Lean for 3 years and I contribute to mathlib.

[Moin Ahmed Qidwai]

That is great. Maybe we could have a meetup in Hong Kong once the Covid situation levels off a bit.

[Kenny Lau]

for now you can join the discord server!

[Shing Tak Lam]

Kenny Lau said:

me and Shing Tak Lam I believe

I'm indeed from HK but I can't go back atm :(