Zulip Chat Archive
Stream: lean4
Topic: Lean group on Discord
Yahoo (Jun 26 2025 at 05:50):
Does Lean have an official group chat or discussion group on Discord, if exists, please give a link, if not, it is recommended to create one :wave:
Junyan Xu (Jun 26 2025 at 17:44):
Last updated: Dec 20 2025 at 21:32 UTC