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