Skip to content

Fix/overlay zipper root and descend to val - #144

Merged
luketpeterson merged 3 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/overlay-zipper-root-and-descend-to-val
Oct 2, 2026
Merged

Fix/overlay zipper root and descend to val#144
luketpeterson merged 3 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/overlay-zipper-root-and-descend-to-val

Adding test and fix for newly-identified bug in OverlayZipper::descen…

7eed493
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lean model, proofs and checks
succeeded Oct 2, 2026 in 8s