Skip to content

add n_encoding proof for Saturation_repr.v

Shubham Kumar requested to merge shubham@Saturation_repr_encoding_is_valid into master

The MR closes https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/104 the encoding proof is very similar to z_encoding_is_valid and hence the valid predicate used is also same.

Edited by Guillaume Claret

Merge request reports