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: Mar 29 2024 at 09:02 UTC