Zulip Chat Archive

Stream: Geographic locality

Topic: Beijing, China

view this post on Zulip ZHAO Jinxiang (Aug 19 2020 at 06:02):

Hi All,
Anyone else from Beijing here?

view this post on Zulip Qian Hong (wechat: fracting) (Oct 01 2020 at 19:32):

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

view this post on Zulip Qian Hong (Aug 11 2021 at 14:20):

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!

view this post on Zulip Yao Liu (Oct 29 2021 at 02:50):

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

Last updated: Sep 24 2022 at 19:12 UTC