Review on Delegate_services proofs (!122) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Guillaume Claret requested to merge clarus@delegate-service-todo into delegate-service-todo Nov 22, 2021

Suggested changes for https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/119