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

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

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

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

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

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

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

Last updated: Jan 29 2023 at 18:03 UTC