Beijing, China

Stream: Geographic locality

[ZHAO Jinxiang]

Hi All,
Anyone else from Beijing here?

[Qian Hong (wechat: fracting)]

Hi Jinxiang! I am a Chinese in Sydney, there's a Wechat group for formal verification, please join me :)

[Qian Hong]

update:

my WeChat ID is fracting, anyone who wants to join the WeChat group please connect me on WeChat and I'll invite you to the group. Feel free to read https://docs.qq.com/doc/DVUhUdFFQWlJYelBH for some samples of group chat history.

Cheers!

[Yao Liu]

Hi, anyone in Beijing who wants to learn Lean, let's form a study group.