Repository navigation

Fold ternaries that a fact of Found decides on an enum value - #531

Merged

CatarinaGamboa merged 3 commits into

mainfrom

feat/found-fold-decided-ternary

Nov 11, 2026

Merged

Fold ternaries that a fact of Found decides on an enum value#531
CatarinaGamboa merged 3 commits into
mainfrom
feat/found-fold-decided-ternary

Commits on Nov 10, 2026
- Decide enum comparisons that a fact of Found already decides
  
  CatarinaGamboa
  and
  claude
  committed
  bc34cbd
- Keep premises a conclusion row would decide, and enum types across steps
  
  CatarinaGamboa
  and
  claude
  committed
  09fafd4
- Name the comparisons of Known Enum Values for what they are
  
  CatarinaGamboa
  and
  claude
  committed
  f502834