Skip to content

Fix write zipper node stack after prune_path - #109

Merged
luketpeterson merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/prune-path-node-stack
Sep 19, 2026
Merged

Fix write zipper node stack after prune_path#109
luketpeterson merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/prune-path-node-stack

Fix write zipper node stack after prune_path

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