Draft: constants services lemmas (!175) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

The source project of this merge request has been removed.

Kewerson Hugo requested to merge (removed):constants-services-axioms into master Dec 15, 2021