Sc_rollup_operations, Sc_rollup_management_protocol : Issues 739, 737 (!1010) · Merge requests · Formal Land / Coq Tezos of OCaml 💫

Natasha Klaus requested to merge natalie@14_dec into master Dec 14, 2022

Verification of Sc_rollup_operations and Sc_rollup_management_protocol part of #739, part of #737

Edited Dec 15, 2022 by Natasha Klaus

Sc_rollup_operations, Sc_rollup_management_protocol : Issues 739, 737