Skip to content

Michelson: add proof for the simulation 'dep_big_map_update'

Rex Yuan requested to merge rex@big_map_update into master

The proof of dep_big_map_update_eq is very similar to dep_big_map_get_eq added in 3fc51e93

Merge request reports