Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL by Diego Marmsoler and Achim D. Brucker Jul 18