Zulip Chat Archive
Stream: new members
Topic: Discord invite
Max Smith (Oct 22 2021 at 18:06):
Like @Jineon Baek , I too was wondering if @Kevin Buzzard could give me an invite to the Discord server - as I'm only just starting out with Lean.
Last updated: Dec 20 2023 at 11:08 UTC