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 https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/.60Proper.20.2E.2E.2E.20.28Under_rel.20.2E.2E.2E.29.60 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: Jan 29 2023 at 18:03 UTC