236: define the functions of Hex.v. Since it's my first contribution, I've... (!848) · Merge requests · Formal Land / Coq Tezos of OCaml 💫

pierrevial requested to merge 236-define-hex into master Oct 05, 2022

236: define the functions of Hex.v. Since it's my first contribution, I've temporarily left tests. Commentaries on the style welcome. Some questions are marked with \Q

Closes #236 (closed)

236: define the functions of Hex.v. Since it's my first contribution, I've...

Merge request reports