Skip to content

Proof of Encodings in Storage.v

Shubham Kumar requested to merge shubham@storage_encodings_proof into master

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

Merge request reports