More definitions compiling from proto-j (!610) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Guillaume Claret requested to merge guillaume-claret@more-from-proto-j into master Jun 22, 2022

This branch contains the translation from the forked branch of the protocol given in the HOWTO https://hackmd.io/NVRTuBgXRf-3_SYggZb_8w

Fixes https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/211

Edited Jun 30, 2022 by Daniel Hilst