Michelson: add proof for the simulation 'dep_big_map_update'
The proof of dep_big_map_update_eq
is very similar to dep_big_map_get_eq
added in 3fc51e93
The proof of dep_big_map_update_eq
is very similar to dep_big_map_get_eq
added in 3fc51e93