Verify backward-compatibility instructions (14/14), Part 2 (!774) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

You need to sign in or sign up before continuing.

Daniel Hilst requested to merge 375-verify-backward-compatibility-instructions-14-14 into master Aug 26, 2022

Closes of #375 (closed)

Verify instructions

KMap_exit_body
KView_exit

Edited Aug 30, 2022 by Daniel Hilst