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.
I feel like a question about the SSReflect tactics rather than the mathcomp library belongs to #Coq users.
Last updated: Oct 13 2024 at 01:02 UTC