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