Skip to content

Michelson : Add partial proofs for dep_extract_lazy_storage_updates

Daniel Hilst requested to merge simulations-80-89-1 into master

Part of #141

Add proofs

  • partial dep_extract_lazy_storage_updates proof
Edited by Daniel Hilst

Merge request reports