Verify the simulations in Script_set.v
In https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proofs/script_set verify the equality of following simulations:
-
dep_update
-
dep_mem
-
dep_fold
-
dep_size_value
There is already the verification of dep_empty
as an example. Requires the task https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/131
Edited by Guillaume Claret