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.