Skip to content

Draft: dep_diff_of_big_map_eq

Natasha Klaus requested to merge 27_June_dep_diff_of_big_map_eq into master

First attempts to finish the proof.

Edited by Bart艂omiej Kr贸likowski

Merge request reports