Skip to content

[PROPOSAL] Voluntary 'mechanism' notes alongside scoped negative results (docs only; no rule changes) - #1903

Draft
DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:proposal/structural-lemmas
Draft

[PROPOSAL] Voluntary 'mechanism' notes alongside scoped negative results (docs only; no rule changes)#1903
DreamingOfClouds wants to merge 1 commit into
CrocSwap:mainfrom
DreamingOfClouds:proposal/structural-lemmas

Propose voluntary mechanism notes alongside scoped negative results (…

be6282c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.14)
succeeded Oct 15, 2026 in 4m 38s