Stream: math-comp users

Topic: stream events


view this post on Zulip Notification Bot (May 07 2020 at 11:58):

Cyril Cohen renamed stream math-comp to Mathematical Components Library.

view this post on Zulip Christian Doczkal (May 08 2020 at 08:36):

I'm not sure "Mathematical Components Library" is the best name for the stream, it gets cut by interface pretty much everywhere...

view this post on Zulip Karl Palmskog (May 08 2020 at 10:02):

yeah, I thought "math-comp" was fine, adding the library makes it sound like discussion of non-library-related SSReflect, or other related projects is off topic

view this post on Zulip Karl Palmskog (May 08 2020 at 10:04):

if there needs to be a difference from "development", why not "math-comp general" or something like that

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

Théo Zimmermann renamed stream Mathematical Components Library to Mathematical Components Library users.

view this post on Zulip Notification Bot (May 08 2020 at 12:02):

Cyril Cohen renamed stream Mathematical Components Library users to math-comp users.

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: Jan 29 2023 at 18:03 UTC