Encodings in ⚗ ️ Liquidity_baking_repr.v
Verify the following encoding in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proofs/liquidity_baking_repr :
-
Toggle_EMA.encoding
-
take the opportunity of this task to check a few properties about the Toggle_EMA.of_int32
,Toggle_EMA.to_int32
, ... functions
Edited by Natasha Klaus