Do we think that Coq'Art is part of the Hydras & Co. universe? Or does conversations about Coq'Art go into the coq-community stream?
coq-community stream is already fairly low-traffic, and coq-art stream may be expected to be that too. @Théo Zimmermann thoughts on adding another stream? I'd lean towards using coq-community stream.
Last updated: Feb 22 2024 at 05:02 UTC