spec of carbonated maps (!395) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Fix https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/55

Edited Apr 07, 2022 by Guillaume Claret