Add lift_functional_correctness
This lemma makes proving simple properties about the deployed contract state of a contract easier.
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
coq:8.8 | Build | ||
|
||||
failed
|
coq:8.9 | Build | ||
|
This lemma makes proving simple properties about the deployed contract state of a contract easier.
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
coq:8.8 | Build | ||
|
||||
failed
|
coq:8.9 | Build | ||
|