Silva, G., Ahrendt, W., & Bubel, R. Solidity in Lean [Computer software]. https://github.com/SolidiKeY/solidity-lean