Update protocol next (!336) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

You need to sign in or sign up before continuing.

Guillaume Claret requested to merge guillaume-claret@update-protocol-next into master Mar 09, 2022

many updates in the protocol code (from the branch https://gitlab.com/clarus1/tezos/-/tree/guillaume-claret@proto_alpha-coq-of-ocaml-next )
TODO: fix the proofs

Edited Mar 13, 2022 by Guillaume Claret