Théo Zimmermann renamed stream coq to Coq and plugin development.
I've renamed this channel to better reflect its more common use case (from the Gitter times) and I was thinking about creating a new "Beginners" or "New members" stream (to highlight that basic questions are welcome). But this can probably wait a bit, especially given that anyone can create a new stream, not just admins.
Théo Zimmermann renamed stream Coq and plugin development to Coq devs & plugin devs.
Last updated: Oct 21 2021 at 21:03 UTC