Fix _repr proofs for proto K
Fix all the proofs src/Proto_K/Proofs/*_repr.v
from the https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/blob/master/blacklist.txt (when the corresponding code file exists). To activate the compilation of these files, remove them from the blacklist file and re-run ./configure.sh
.
Edited by Guillaume Claret