Stream: coq-community devs & users

Topic: stream events

view this post on Zulip Notification Bot (May 08 2020 at 11:14):

Théo Zimmermann renamed stream coq-community to coq-community devs & users.

view this post on Zulip Notification Bot (Apr 21 2022 at 14:59):

Théo Zimmermann changed the access permissions for this stream from Public, protected history to Web-public.

Last updated: Feb 04 2023 at 02:03 UTC