Skip to content
GitLab
Explore
Sign in
concordium
smart-contract-interactions
Repository
smart-contract-interactions
theories
Automation.v
Find file
Blame
History
Permalink
Add lift_functional_correctness
· f070d9cd
Jakob Botsch Nielsen
authored
Oct 30, 2019
This lemma makes proving simple properties about the deployed contract state of a contract easier.
f070d9cd