The Coq Discourse is meant to be a standard place to discuss questions about the Coq system and related topics.
