Perennial Tactics

Detailed Perennial proof tactics reference with proof state examples. Use when you can't understand how a specific tactic works. Use when this capability is needed.

tomevault-io Updated

File contents

Here is the table of contents for the Perennial proof reference (new/proof/PERENNIAL_PROOF_REFERENCE.md):

!grep -n "^### \|^## " new/proof/PERENNIAL_PROOF_REFERENCE.md

Use sed -n 'START,ENDp' new/proof/PERENNIAL_PROOF_REFERENCE.md to extract the relevant section based on the line numbers above. Pick the range from one header to just before the next header.


Source: mit-pdos/perennial — distributed by TomeVault.

tomevault-io/skills-registry/tree/main/mit-pdos--perennial--perennial commit f5775d8041

Frequently asked questions

npx skillmds@latest add tomevault-io/perennial-tactics