Skip to content

Update Proofs/Script_ir_translator.v

Natasha Klaus requested to merge natalie@try_proofs_in_michelson into ak@694-remove-all-the-simulations

close issue #699 (closed)

Merge request reports