Skip to content

Fix zipper_head on a write zipper with a borrowed path - #127

Merged
luketpeterson merged 3 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/zipper-head-borrowed-path
Sep 24, 2026
Merged

Fix zipper_head on a write zipper with a borrowed path#127
luketpeterson merged 3 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/zipper-head-borrowed-path

Moving fix to the right spot; fixing warnings in test

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