[isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip
makarius at sketis.net
Sun Jan 12 18:53:19 CET 2020
On 12/01/2020 17:15, Viktor Kuncak wrote:
> Does anyone have experience with Matrix?
It is part of this equivalence class (together with Zulip):
My general impression from a distance: more entertainment and cool toys,
rather than useful communication infrastructure.
More information about the isabelle-dev