Skip to content

Fix get_val_with_witness at an owned zipper's root - #132

Merged
luketpeterson merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/owned-zipper-val-with-witness
Sep 25, 2026
Merged

Fix get_val_with_witness at an owned zipper's root#132
luketpeterson merged 1 commit into
Adam-Vandervorst:masterfrom
imlvts:fix/owned-zipper-val-with-witness

Fix get_val_with_witness at an owned zipper's root

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