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