Mathlib Pr

REDIRECT — Mathlib PR workflow has been merged into the agnostic `lean-pr` SKILL, with Mathlib-specific conventions extracted to `references/upstream/mathlib4-pr.md` (W4 Wave 2 / move A1 of lab/design/07-cluster-workflow.md). This stub preserves the slug for Ctrl-F discoverability and incoming cross-references (per the zero-deletions Chesterton protocol).

r-irbe ea8dff6 2.2 KB Updated

File contents

r-irbe/proof-skills/tree/main/skills/_overrides/mathlib-pr commit ea8dff61d1

Frequently asked questions

npx skillmds@latest add r-irbe/mathlib-pr