theories/Blockchain.v · f070d9cd45feb9e5422b1697e4f35b817424d1ed · concordium / smart-contract-interactions

Jakob Botsch Nielsen authored Oct 30, 2019

This lemma makes proving simple properties about the deployed contract
state of a contract easier.

f070d9cd