perennial-tactics

name: perennial-tactics description: Detailed Perennial proof tactics reference with proof state examples. Use when you can't understand how a specific tactic works. disable-model-invocation: false

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.