Lean Doc Feedback

USE FOR: reviewing a Lean documentation draft, flagging undefined terms, suggesting cross-links, scoring readability against a rubric. DO NOT USE FOR: rewriting prose end-to-end (use @lean-doc-improvement), generating new blueprints (use @lean-blueprint). TRIGGERS: doc-review, readability, doc-feedback.

r-irbe ffd3814 1.9 KB Updated

File contents

r-irbe/proof-skills/tree/main/skills/lean-doc-feedback commit ffd38141a7

Frequently asked questions

npx skillmds@latest add r-irbe/lean-doc-feedback