Skip to content

Draft: verify skip_list

Natasha Klaus requested to merge skip_list into master

erify the specification given in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proofs/skip_list_repr/ by proving Make_is_valid.

Merge request reports