Skip to content

Michelson: state more simulation lemmas

Guillaume Claret requested to merge guillaume-claret@more-simulation-lemmas-statements into master

We do not verify the statements.

Edited by Guillaume Claret

Merge request reports