Skip to content

Implementing tighter spec for to_next_k_path on PrefixZipper and EmptyZipper. - #140

Merged
luketpeterson merged 1 commit into
masterfrom
bugfix/to_next_k_path_spec_on_prefix_and_empty_zipper
Sep 27, 2026
Merged

Implementing tighter spec for to_next_k_path on PrefixZipper and EmptyZipper.#140
luketpeterson merged 1 commit into
masterfrom
bugfix/to_next_k_path_spec_on_prefix_and_empty_zipper

Implementing tighter spec for to_next_k_path on PrefixZipper and Empt…

b5a0fb9
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