More verif on tx rollups (!926) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Guillaume Claret requested to merge guillaume-claret@more-verif-on-tx-rollups into master Oct 31, 2022

Fix #655 (closed) #650 (closed)

Edited Oct 31, 2022 by Guillaume Claret