Compare: proof for Indexable.compare_values_is_valid
Proof following the example of https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proofs/script_string_repr/#compare_is_valid One modification to the Compare lemma was actually needed.
Proof following the example of https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proofs/script_string_repr/#compare_is_valid One modification to the Compare lemma was actually needed.