Verify Constants_repr.v
Verify the file https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proto_k/constants_repr/ , by creating or updating the corresponding proof file.
Verify the file https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proto_k/constants_repr/ , by creating or updating the corresponding proof file.