Env: add axiom about data-encoding of JSON (!177) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Guillaume Claret requested to merge clarus@env-add-data-encoding-json-spec into master Dec 16, 2021

This should be required by https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/175.