Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
concordium
smart-contract-interactions
Repository
f070d9cd45feb9e5422b1697e4f35b817424d1ed
Switch branch/tag
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
Jakob Botsch Nielsen authored