Stream: math-comp devs

Topic: stream events

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

Théo Zimmermann renamed stream math-comp development to math-comp devs.

view this post on Zulip Notification Bot (May 04 2022 at 07:50):

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

Last updated: Aug 11 2022 at 01:03 UTC