Proof of Encodings in Storage.v
This MR includes proof of encodings for src/Proto_alpha/Storage.v
's Encoding Module (as presented in issue https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/109)
Edited by Shubham Kumar
This MR includes proof of encodings for src/Proto_alpha/Storage.v
's Encoding Module (as presented in issue https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/109)