Stream: math-comp users

Topic: Are ssreflect-only questions appropriate here

view this post on Zulip Paolo Giarrusso (Jul 21 2022 at 17:17):

ssreflect is distributed with Coq, but maybe ssreflect-only questions still belong in this stream not "Coq users"? If so, it'd be great if somebody moved here.

view this post on Zulip Théo Zimmermann (Jul 21 2022 at 17:19):

I feel like a question about the SSReflect tactics rather than the mathcomp library belongs to #Coq users.

Last updated: Jul 15 2024 at 20:02 UTC