Skip to content

Add proofs for parsing / unparsing operations

Guillaume Claret requested to merge add-proofs-parse-unparse-bis into master

Add some proofs around the parsing and unparsing operation on Michelson.

Merge request reports