Skip to content

Michelson : Add proof for dep_parse_instr_eq

Daniel Hilstrequested to merge
simulations-80-89-2 into master

Part of #141

Edited by Daniel Hilst

Merge request reports