3 ms·
The Lean community uses zulip which seems to be a nice compromise between chat and forum/email threads https://leanprover.zulipchat.com/login/ https://leanprov
by uyt 5y ago
The Lean community uses zulip which seems to be a nice compromise between chat and forum/email threads
https://leanprover.zulipchat.com/login/ https://leanprover.zulipchat.com/login/