Algebraize

Normalize ad-hoc, surface-level, implementation-local commenting/documentation into algebraic, invariant-explicit, proof-oriented form. Keep it model-level, stable under renaming and transplantation.

corygabrielsen Updated

File contents

/algebraize

Look for ad-hoc | procedural | surface-level | implementation-local | non-compositional | etc. commenting/documentation and normalize it into algebraic | invariant-explicit | proof-oriented form,

while keeping the commenting/documentation model-level rather than repo-local, so that it is stable under renaming, transplantation, and reuse in a different codebase.

corygabrielsen/skills/tree/main/algebraize commit 44bab89538

Frequently asked questions

npx skillmds@latest add corygabrielsen/algebraize