Commit 2024-08-27 21:15 0fb4c973

chore: add the stacks attribute and extension (#16191) This extends the simple attribute of #16179 with an environment extension that tracks also the declaration names and tags. The #stacks_tags command retrieves all declarations that have the stacks attribute. For each found declaration, it prints a line

'declaration_name' corresponds to tag 'declaration_tag'.

The variant #stacks_tags! also adds the theorem statement after each summary line. Zulip thread