Repository navigation

Drop true rows for variables that another row of Found already shows - #472

Merged

CatarinaGamboa merged 1 commit into

mainfrom

fix/unneeded-true-rows

Nov 4, 2026

Merged

Drop true rows for variables that another row of Found already shows#472
CatarinaGamboa merged 1 commit into
mainfrom
fix/unneeded-true-rows

Commits on Nov 3, 2026
- Drop true binders that another row already shows
  
  CatarinaGamboa
  and
  claude
  committed
  c99ef24