Skip to content

Add simulation big_map_get

Rex Yuan requested to merge rex@big_map_get into master

For now the equality proof is incomplete due to the comparable property.

Edited by Rex Yuan

Merge request reports