Repository navigation

List Found as facts and show only readable simplification steps - #185

Merged

CatarinaGamboa merged 4 commits into

mainfrom

study-found-box

Nov 11, 2026

Merged

List Found as facts and show only readable simplification steps#185
CatarinaGamboa merged 4 commits into
mainfrom
study-found-box

Commits on Nov 11, 2026
- Found: show only readable simplification steps, under plain step names
  
  CatarinaGamboa
  and
  claude
  committed
  35743d9
- Found: open on a summary step when the verifier could not prove Expected
  
  CatarinaGamboa
  and
  claude
  committed
  14f5d91
- Found: say that Relevant to Expected keeps the facts linked to Expected through other facts too
  
  CatarinaGamboa
  and
  claude
  committed
  55510f8
- Found: show every step the verifier sends
  
  CatarinaGamboa
  and
  claude
  committed
  af43c9c