[isabelle-dev] https://discourse.org as replacement for mailman, stackoverflow, zulip

Makarius 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?
> https://matrix.org/
> https://matrix.org/clients/

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 mailing list