Skip to content

Michelson: state more simulation lemmas

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

We do not verify the statements.

Edited by Guillaume Claret

Merge request reports