This form supports scoped metadata proposals for one vendor or product record.
Product: Rocq (Rocq Prover/rocq)
rocq
Use Markdown for headings, lists and links.
The preview follows the field above. Your original text is submitted.