Stream: Equations devs & users

Topic: stream events


view this post on Zulip Notification Bot (May 07 2020 at 09:05):

Théo Zimmermann renamed stream coq/equations to Equations.

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

Théo Zimmermann renamed stream Equations to Equations devs & users.

view this post on Zulip Notification Bot (May 02 2022 at 08:40):

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


Last updated: Jan 29 2023 at 15:02 UTC