New case in Lemma apply_manager_operation_is_valid (!925) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

pierrevial requested to merge 430-verify-Apply-3 into master Oct 31, 2022

New case in Lemma apply_manager_operation_is_valid in Apply.v

Closes #430