Encodings in 馃捑 Storage.v
Verify the encodings in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proofs/storage To find them, you can look for Data_encoding.encoding
in the generated Coq code.
Verify the encodings in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proofs/storage To find them, you can look for Data_encoding.encoding
in the generated Coq code.