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: May 02 2025 at 03:31 UTC