Encodings in 🖼 ️ Raw_context.v
Verify the following encoding in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proofs/raw_context :
-
storage_error_encoding
Edited by Natasha Klaus
Verify the following encoding in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proofs/raw_context :
storage_error_encoding