Skip to content

docs(AGENTS): require standard BZ/LLL terminology in proofs and docs#8416

Open
kim-em wants to merge 1 commit into
mainfrom
claude/agents-terminology-rule
Open

docs(AGENTS): require standard BZ/LLL terminology in proofs and docs#8416
kim-em wants to merge 1 commit into
mainfrom
claude/agents-terminology-rule

docs(AGENTS): require standard BZ/LLL terminology; proofs follow the …

2246aee
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar