Skip to content

Fix ZipperHead exclusive path at the head's own root - #126

Merged
luketpeterson merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/zipper-head-exclusive-at-head-root
Sep 23, 2026
Merged

Fix ZipperHead exclusive path at the head's own root#126
luketpeterson merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/zipper-head-exclusive-at-head-root

Fix ZipperHead exclusive path at the head's own root

82334a6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
Lean model, proofs and checks
succeeded Sep 23, 2026 in 11s