Repository navigation

fix: normalize nonDep flag for letE expressions - #11

Merged

hargoniX merged 1 commit into

leanprover:masterfrom

kim-em:fix-nondep-normalization

Jan 7, 2026

Commits on Jan 6, 2026

fix: normalize `nonDep` flag for `letE` expressions

kim-em
and
claude
committed
1d6205d