Skip to content

Import from proto J files that were on the black list

Guillaume Claret requested to merge guillaume-claret@complete-the-import-of-proto-j into master

Translate to Coq the files that were on the black list. Related to https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/211

Edited by Guillaume Claret

Merge request reports