Discord server Lean 4 anarchy

Stream: general

[Martin Dvořák]

It was brought to my attention that we don't have any unrestricted Discord channel for all Lean users.
Let me invite you to my new Discord server Lean 4 anarchy!
We allow all the tea, memes, unofficial logos, swearing, ... anything you foo king want!
This link should work forever: https://discord.gg/WZ9bs9UCvx
Feel free to share the invite link with any Lean users!

[Shreyas Srinivas]

Isn't this channel public. The link will be accessible to anyone and everyone online, including all sorts of spammers

[Martin Dvořák]

If we get spambots, we will kick them out.
If we get too much spam from some users, we will direct them to respective channels.

[Ioannis Konstantoulas]

There is also a general Functional Programming discord with a fairly active #lean channel. It is useful for getting perspectives from other proof formalizers and dependently typed languages. I think this is how you can get there: https://discord.gg/FUKKjpzq