GitHub repository: suhabe/solidity-semantics
Description: Semantics of Solidity in K