77-verify-tx_rollup_commitment_repr.compare (!447) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Andrey Klaus requested to merge ak@77-verify-tx_rollup_commitment_repr.compare into master Apr 27, 2022

fix #77 (closed)