Stream: Geographic locality
Topic: Beijing, China
ZHAO Jinxiang (Aug 19 2020 at 06:02):
Anyone else from Beijing here?
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 :)
Qian Hong (Aug 11 2021 at 14:20):
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.
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