Skip to content

Michelson : Easy proofs in 80-89

Daniel Hilst requested to merge simulations-80-89-easy into master

Part of #141

Add proofs for:

  • dep_parse_toplevel_eq
  • dep_parse_contract_eq
  • dep_parse_data_eq
Edited by Daniel Hilst

Merge request reports