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: Mar 28 2024 at 19:02 UTC