Skip to content

add proof encoding for Apply.v

Shubham Kumar requested to merge shubham@apply_encoding_is_valid into master

This closes https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/95 by adding proof for denunciation_kind_encoding

Merge request reports