Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • S smart-contract-interactions
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Container Registry
    • Infrastructure Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • concordium
  • smart-contract-interactions
  • Repository

Switch branch/tag
  • smart-contract-interactions
  • theories
  • Blockchain.v
Find file BlameHistoryPermalink
  • Jakob Botsch Nielsen's avatar
    Add a lemma to simplify proofs about single contracts · e3fb201d
    Jakob Botsch Nielsen authored Nov 19, 2019
    This new lemma, contract_centric, restates proofs about single contracts
    over some other sufficient lemmas involving strongly typed versions of
    deployment info, state and messages. This makes proving those kind of
    theorems much easier.
    e3fb201d

Replace Blockchain.v

Attach a file by drag & drop or click to upload


Cancel
GitLab will create a branch in your fork and start a merge request.