Skip to content

Keep a value in subtract when the other side only passes through - #107

Merged
luketpeterson merged 2 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/subtract-keeps-value
Sep 19, 2026
Merged

Keep a value in subtract when the other side only passes through#107
luketpeterson merged 2 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/subtract-keeps-value

Fix dense subtract keeping a dangling path the source reaches

c149000
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Sep 16, 2026 in 16s