Encodings in 馃幉 Sampler.v
Verify the following encodings in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/sampler/ :
-
Mass.encoding
-
encoding
These encodings will be a little harder to verify as they are with a functor.
Edited by Natasha Klaus