Skip to content
GitLab
  • Explore
  • Sign in
  • concordium
  • smart-contract-interactions
  • Repository
  • smart-contract-interactions
  • theories
  • Blockchain.v
Find file Blame History Permalink
  • Jakob Botsch Nielsen's avatar
    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