Repository navigation

Do not prove false theorems about ENABLED, <>, and \cdot under a binder - #314

Merged

lemmy merged 2 commits into

mainfrom

Nov 10, 2026

Merged

Do not prove false theorems about ENABLED, <>, and \cdot under a binder#314
lemmy merged 2 commits into
mainfrom
mku-gh309

Commits on Nov 10, 2026
- Do not prove false theorems about ENABLED, <>, and \cdot under a binder.
  
  committed
  92826d6
- Report unsupported operator values during type synthesis
  
  lemmy
  and
  codex
  committed
  7eeb856