Skip to content

Repr: proofs for data-encodings in entrypoint_repr

Guillaume Claret requested to merge guillaume-claret@finish-entrypoint-repr-data-encoding-proofs into master

Small MR about proofs I missed in Entrypoint_repr.

Merge request reports