Skip to content

Fix: ZipperHead fixes - #133

Merged
luketpeterson merged 4 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/zipper-head-exclusive-over-empty-node
Sep 25, 2026
Merged

Fix: ZipperHead fixes#133
luketpeterson merged 4 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/zipper-head-exclusive-over-empty-node

Merge master into fix/zipper-head-exclusive-over-empty-node

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