By the way, Metamath already has a chatroom on Gitter, set up by Mario ~4 years ago: https://gitter.im/metamath/Lobby
I'm not sure if it has been suggested before, but maybe Metamath could have an IRC channel? This protocol existed for decades, is supported by many clients (or can be accessed from a web interface), requires no Github account or registration whatsoever and is a standard choice for many opensource projects (for example, Debian and Haskell use it). There's a wide variety of tools available for maintaining IRC channels, so, for instance, it's not hard to keep all logs on the metamath server. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/e3d69c0a-8f23-4c50-93d6-6a000434e062%40googlegroups.com.
