Michelson: complete the proof for unpack (!691) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Guillaume Claret requested to merge guillaume-claret@complete-unpack-proof into master Jul 20, 2022

Follow-up of https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/688

Edited Jul 20, 2022 by Guillaume Claret