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): https://alternativeto.net/software/slack My general impression from a distance: more entertainment and cool toys, rather than useful communication infrastructure. Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
