James Wiles: discord server

Stream: new members

[James Wiles]

Hey Everyone! I love co-coding and doing live collaboration, so created a discord server for anyone how wants to join me and do live video sharing of the problems we working: https://discord.gg/hB57hdpCbn

[Notification Bot]

A message was moved here from #announce > Lean Together 2024 by Rob Lewis.

[Bolton Bailey]

You may be interested in https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Discord.20server.20Lean.204.20anarchy/near/392383418