Draft: Add proofs to Contract_repr.v (!89) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

The source project of this merge request has been removed.

Daniel Hilst requested to merge (removed):proof-contract-repr-axioms into master Oct 08, 2021